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 (ISSTA, 2008)

Book Review. - David H. Bushnell (Sci. Program., 2009)

Formal testing for separation assurance. - Dimitra Giannakopoulou; David H. Bushnell; Johann Schumann; Heinz Erzberger; Karen Heere (Ann. Math. Artif. Intell., 2011)

Symbolic Execution with Interval Solving and Meta-heuristic Search. - Mateus Borges; Marcelo d'Amorim; Saswat Anand; David H. Bushnell; Corina S. Pasareanu (ICST, 2012)

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)

Verifying the Safety of a Flight-Critical System. - Guillaume Brat; David H. Bushnell; Misty D. Davies; Dimitra Giannakopoulou; Falk Howar; Temesghen Kahsai (FM, 2015)