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: Laubach:Shawn
Contributed to:
20012000
1998Wrote 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.