White Papers

The following documents are currently available for online viewing/downloading:
Design by Contract for Java
Invasive Testing Model for Java Classes
Java Program Static Analysis
Automatic Java Program Evolution Analysis
Automating Test Data Generation from Formal Representation