David H. Bushnell

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Symbolic Execution

Heuristic Search

Top Venues

Autom. Softw. Eng.

Publications

Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
Verifying the Safety of a Flight-Critical System. CoRR (2015)
Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
Verifying the Safety of a Flight-Critical System. FM (2015)
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom. Softw. Eng. 20 (3) (2013)
Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu
Symbolic Execution with Interval Solving and Meta-heuristic Search. ICST (2012)
Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere
Formal testing for separation assurance. Ann. Math. Artif. Intell. 63 (1) (2011)
David H. Bushnell
Book Review. Sci. Program. 17 (3) (2009)
Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ISSTA (2008)