| 2001 |
|---|
| 3 | | 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: 177-187 |
| 2000 |
|---|
| 2 | EE | 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: 439-448 |
| 1998 |
|---|
| 1 | EE | John Hatcliff,
Matthew B. Dwyer,
Shawn Laubach:
Staging Static Analyses Using Abstraction-Based Program Specialization.
PLILP/ALP 1998: 134-151 |
