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.
Use this identifier to reference this record
Loading...
Name
buchs99-toos.ps
Access type
openaccess
Size
2.76 MB
Format
Postscript
Checksum (MD5)
50d3e8c7d44b109c8c2978949fe5c523