Author Info
Name
Affiliation
Papers
DAVID H. BUSHNELL
NASA Ames, TRACLabs, Moffett Field, USA
3
Collaborators
Citations 
PageRank 
13
211
7.59
Referers 
Referees 
References 
451
189
100
Search Limit
100451
Title
Citations
PageRank
Year
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.711.972013
Formal testing for separation assurance50.492011
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software1355.132008