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