Login / Signup

Scaling symbolic execution using ranged analysis.

Junaid Haroon SiddiquiSarfraz Khurshid
Published in: OOPSLA (2012)
Keyphrases
  • static analysis
  • symbolic execution
  • genetic algorithm
  • multi agent systems
  • genetic programming