Java PathFinder - second generation of a Java model checker (2000)

by W Visser, K Havelund, G Brat, S Park
Venue:In Post-CAV Workshop on Advances in Verification