BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Ireland
1 × Italy
Collaborated with:
M.B.Dwyer J.Hatcliff C.S.Pasareanu Robby H.Zheng J.C.Corbett R.Joehanes W.Visser
Talks about:
abstract (2) program (2) state (2) finit (2) support (1) special (1) extract (1) bandera (1) static (1) analys (1)

Person: Shawn Laubach

DBLP DBLP: Laubach:Shawn

Contributed to:

ICSE 20012001
ICSE 20002000
ALP/PLILP 19981998

Wrote 3 papers:

ICSE-2001-DwyerHJLPRZV #abstraction #finite #verification
Tool-Supported Program Abstraction for Finite-State Verification (MBD, JH, RJ, SL, CSP, R, HZ, WV), pp. 177–187.
ICSE-2000-CorbettDHLPRZ #finite #java #modelling #named #source code
Bandera: extracting finite-state models from Java source code (JCC, MBD, JH, SL, CSP, R, HZ), pp. 439–448.
ALP-PLILP-1998-HatcliffDL #analysis #staging #using
Staging Static Analyses Using Abstraction-Based Program Specialization (JH, MBD, SL), pp. 134–151.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.