Java pathfinder - a second generation of a Java model checker (0)

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