Login / Signup

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

Corina S. PasareanuPeter C. MehlitzDavid H. BushnellKaren Gundy-BurletMichael R. LowrySuzette PersonMark Pape
Published in: ISSTA (2008)
Keyphrases
  • symbolic execution
  • neural network
  • software development
  • search algorithm
  • decision trees
  • case study
  • knowledge management
  • source code
  • building blocks
  • software systems
  • test data generation