Combining symbolic execution and search-based testing for programs with complex heap inputs.

Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz

Browse the full ISSTA paper archive.