robby , cs pasareanu , w. visser , and h. zheng . tool-supported program abstraction for finite-state
mb dwyer , j hatcliff , r joehanes , s laubach
proceedings of the 23rd international conference on software