Shawn Laubach

	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		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		John Hatcliff, Matthew B. Dwyer, Shawn Laubach: Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151

Coauthor Index

1	James C. Corbett	[2]
2	Matthew B. Dwyer	[1] [2] [3]
3	John Hatcliff	[1] [2] [3]
4	Roby Joehanes	[3]
5	Corina S. Pasareanu	[2] [3]
6	Robby	[2] [3]
7	Willem Visser	[3]
8	Hongjun Zheng	[2] [3]