David H. Bushnell

According to our database, David H. Bushnell authored at least 6 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Verifying the Safety of a Flight-Critical System.

Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai

Proceedings of the FM 2015: Formal Methods, 2015

2013

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.

Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta

Autom. Softw. Eng., 2013

2012

Symbolic Execution with Interval Solving and Meta-heuristic Search.

Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Formal testing for separation assurance.

Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere

Ann. Math. Artif. Intell., 2011

2009

Book Review.

David H. Bushnell

Sci. Program., 2009

2008

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.

Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008