Travelled to:1 × Italy
1 × USA
Collaborated with:C.S.Pasareanu J.Schumann T.Menzies T.Barrett P.C.Mehlitz D.H.Bushnell M.R.Lowry S.Person M.Pape
Talks about:softwar (2) system (2) execut (2) level (2) parametr (1) support (1) concret (1) analysi (1) symbol (1) combin (1)
Person: Karen Gundy-Burlet
DBLP: Gundy-Burlet:Karen
Contributed to:
2008
2008Wrote 2 papers:
- ASE-2008-SchumannGPMB #analysis #parametricity #scalability #simulation #tool support
- Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.
- ISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing
- Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.