Loading...
conference paper
Testing Object-Oriented Software
1999
Industry-Tutorial on Formal Methods and Testing, Formal Methods 99, Toulouse France
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.
Loading...
Name
buchs99-toos.ps
Access type
openaccess
Size
2.76 MB
Format
Postscript
Checksum (MD5)
50d3e8c7d44b109c8c2978949fe5c523