|
Search the dblp DataBase
Shawn Laubach:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] ICSE, 2000, pp:439-448 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICSE, 2001, pp:177-187 [Conf]
- John Hatcliff, Matthew B. Dwyer, Shawn Laubach
Staging Static Analyses Using Abstraction-Based Program Specialization. [Citation Graph (0, 0)][DBLP] PLILP/ALP, 1998, pp:134-151 [Conf]
Search in 0.001secs, Finished in 0.001secs
|