2001, ‘Finding Feasible Counterexamples when Model Checking Abstracted Java Programs (0)

by C S Păsăreanu, M B Dwyer, W Visser
Venue:In: Proceedings of TACAS