Concepedia

David Bushnell

DB

5

Publications

524

Citations

5

H-Index

2008

Active since

Affiliations

Ames Research Center(Current)

Carnegie Mellon University

David Bushnell is an author at Ames Research Center specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisSystems EngineeringComputer Engineering

Publications per year

2008–2013

5

Publications

5

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

Corina S. Păsăreanu, Peter Mehlitz, David Bushnell et al. · 2008 · 279 citations

Software Maintenance, Java Pathfinder Model, Engineering +25

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

Corina S. Păsăreanu, Willem Visser, David Bushnell et al. · Automated Software Engineering · 2013 · 170 citations

Program Checking, Engineering, Verification +17

Symbolic Execution with Interval Solving and Meta-heuristic Search

Mateus Borges, Marcelo d’Amorim, Saswat Anand et al. · 2012 · 43 citations

Mathematical Programming, Meta-heuristic Search, Engineering +18

Formal testing for separation assurance

Dimitra Giannakopoulou, David Bushnell, Johann Schumann et al. · Annals of Mathematics and Artificial Intelligence · 2011 · 19 citations

Reliability Engineering, Engineering, Inspection +11

Verification and validation of air traffic systems: Tactical separation assurance

David Bushnell, Dimitra Giannakopoulou, Peter Mehlitz et al. · 2009 · 13 citations

Engineering, Aerospace Simulation, Verification +17

Rows per page

1–5 of 5