Tool-supported program abstraction for finite-state verification (2000)

by Robby Pasareanu, Hongjun Zheng, W Visser
Venue:In International Conference on Software Engineering