Shawn Laubach

According to our database, Shawn Laubach authored at least 3 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

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

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

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

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1998

Staging Static Analyses Using Abstraction-Based Program Specialization.

John Hatcliff, Matthew B. Dwyer, Shawn Laubach

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998