Login / Signup

Scalable Test Generation by Interleaving Concrete and Symbolic Execution.

Xiaoke QinPrabhat Mishra
Published in: VLSI Design (2014)
Keyphrases
  • test generation
  • symbolic execution
  • test cases
  • static analysis
  • design automation
  • software testing
  • test data generation
  • quality assurance
  • specification language