Testing Object-Oriented Software

This tutorial describes the approach we develop for the formal testing of OO software. We also describe the operational techniques, that can be used, to select test cases.


Published in:
Industry-Tutorial on Formal Methods and Testing, Formal Methods 99, Toulouse France
Year:
1999
Keywords:
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)