Sign in

Characteristic studies of loop problems for structural test generation via symbolic execution.

Xusheng XiaoSihan LiTao XieNikolai Tillmann
Published in: ASE (2013)
Keyphrases
  • test generation
  • symbolic execution
  • test cases
  • static analysis
  • test data generation
  • design automation
  • quality assurance
  • decision trees
  • multi agent
  • database
  • databases
  • object oriented