Staging Static Analyses Using Abstraction-Based Program Specialization. - John Hatcliff; Matthew B. Dwyer; Shawn Laubach (PLILP/ALP, 1998)

Bandera: extracting finite-state models from Java source code. - James C. Corbett; Matthew B. Dwyer; John Hatcliff; Shawn Laubach; Corina S. Pasareanu; Robby; Hongjun Zheng (ICSE, 2000)

Tool-Supported Program Abstraction for Finite-State Verification. - Matthew B. Dwyer; John Hatcliff; Roby Joehanes; Shawn Laubach; Corina S. Pasareanu; Robby; Hongjun Zheng; Willem Visser (ICSE, 2001)