Login / Signup
Efficient State Merging in Symbolic Execution.
Volodymyr Kuznetsov
Johannes Kinder
Stefan Bucur
George Candea
Published in:
Software Engineering (2014)
Keyphrases
</>
symbolic execution
data sets
real world
genetic algorithm