Test Selection Method to Validate Concurrent Programs against their Specifications
1995
Files
Details
Title
Test Selection Method to Validate Concurrent Programs against their Specifications
Author(s)
Buchs, Didier
Published in
Software Quality Management, Sevilla, Spain, April 1995
Pages
403-414
Date
1995
Keywords
Note
(Also Available as Technical Report EPFL-DI No 95/101)
Laboratories
LGL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Conference Papers
Work produced at EPFL
Published
Conference Papers
Work produced at EPFL
Published
Record creation date
2005-09-20