Searching for authors named "Shawn Laubach" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Staging Static Analyses Using Abstraction-based Program Specialization
- … Dwyer z Shawn Laubach October 21, 1998 Abstract Conventional partial evaluators specialize programs…
- Cited by 3 (0 self) – Add To MetaCart
-
Specializing Configurable Systems for Finite-state Verification
- … fhatcliff,dwyerg@(email omitted); Shawn Laubach, Nanda Muhammad Computer Science Department Oklahoma State…
- Cited by 4 (3 self) – Add To MetaCart
-
Bandera : Extracting Finite-state Models from Java Source Code
- …@(email omitted); Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng Kansas State…
- Add To MetaCart
-
Tool-supported Program Abstraction for Finite-state Verification
- …, Roby Joehanes, Shawn Laubach, Corina S. Păsăreanu, Robby, Hongjun Zheng Kansas State University…
- Cited by 48 (6 self) – Add To MetaCart
-
Bandera: Extracting Finite-state Models from Java Source Code
- …@(email omitted); Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng Kansas State…
- Cited by 451 (33 self) – Add To MetaCart
Showing 1 through 5.
