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

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