Travelled to:1 × Canada
1 × Norway
1 × USA
Collaborated with:C.S.Pasareanu M.Borges M.d'Amorim S.Anand G.Brat M.Davies D.Giannakopoulou F.Howar T.Kahsai P.C.Mehlitz K.Gundy-Burlet M.R.Lowry S.Person M.Pape
Talks about:execut (3) system (2) symbol (2) level (2) softwar (1) heurist (1) concret (1) verifi (1) search (1) safeti (1)
Person: David H. Bushnell
DBLP: Bushnell:David_H=
Contributed to:
2015
2012
2008Wrote 3 papers:
- FM-2015-BratBDGHK #safety #verification
- Verifying the Safety of a Flight-Critical System (GB, DHB, MD, DG, FH, TK), pp. 308–324.
- ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation
- Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
- 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.