Path-optimal symbolic execution of heap-manipulating programs

Pietro Braione, Giovanni Denaro, Luca Guglielmo

Symbolic execution is at the core of many techniques for program analysis and test generation. Traditional symbolic execution of programs with numeric inputs enjoys the property of…