Path-Optimal Symbolic Execution of Heap-Manipulating Programs.

Pietro Braione, Giovanni Denaro, Luca Guglielmo

Browse the full SANER paper archive.