Model checking Java programs using Java PathFinder. (1999)

by K Havelund, T Pressburger
Venue:Software Tools for Technology Transfer,