Test Selection Method to Validate Concurrent Programs against their Specifications


Published in:
Software Quality Management, Sevilla, Spain, April 1995, 403-414
Year:
1995
Keywords:
Note:
(Also Available as Technical Report EPFL-DI No 95/101)
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)