James C. Corbett Matthew B. Dwyer John Hatcliff Shawn Laubach Corina S. Pasareanu Robby Hongjun Zheng Bandera: extracting finite-state models from Java source code. 439-448 2000 conf/icse/2000 ICSE http://doi.acm.org/10.1145/337180.337234 db/conf/icse/icse2000.html#CorbettDHLPRZ00