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

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