Login / Signup

A survey of new trends in symbolic execution for software testing and analysis.

Corina S. PasareanuWillem Visser
Published in: Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases
  • test data generation
  • symbolic execution
  • software testing
  • static analysis
  • databases
  • data sets
  • case study
  • error rate
  • test cases
  • simulated annealing algorithm
  • test generation