Finding feasible counter-examples when model checking abstracted java programs (2001)

by C S Pasareanu, M B Dwyer, W Visser
Venue:In TACAS, volume 2031 of LNCS