Design by contract of Java
Invasive Testing Model for Java Classes
Java Program Static Analysis
Automatic Java Program Evolution Analysis
Automating Test Data Generation from Formal Representation
