Login / Signup

C/C++ Conditional Compilation Analysis using Symbolic Execution.

Ying HuEttore MerloMichel DagenaisBruno Laguë
Published in: ICSM (2000)
Keyphrases
  • symbolic execution
  • high level
  • evolutionary algorithm
  • domain independent
  • test data generation