1 paper
Daniel Koh Ji Yang, Yannic Noller, Corina S. Pasareanu +1
Symbolic execution seeks to explore feasible program paths, yet a practical run may exhaust its resources while much program behaviour remains unreached. We investigate a complemen…