Verification of Java programs using symbolic execution and invariant generation. (2004)

by C S Pasareanu, W Visser
Venue:In Proc. 11th International SPIN Workshop,