Shawn Laubach

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
Tool-Supported Program Abstraction for Finite-State Verification. ICSE (2001)
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. ICSE (2000)
John Hatcliff, Matthew B. Dwyer, Shawn Laubach
Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP (1998)