Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE.

John Galea Sean Heelan Daniel Neville Daniel Kroening

Published in: CoRR (2018)

Keyphrases

simplex method
lessons learned
linear programming
software systems
real world
linear program
challenges arise
source code
machine learning
image processing