Login / Signup
Scaling symbolic execution using ranged analysis.
Junaid Haroon Siddiqui
Sarfraz Khurshid
Published in:
OOPSLA (2012)
Keyphrases
</>
static analysis
symbolic execution
genetic algorithm
multi agent systems
genetic programming