DSDSR: a tool that uses dynamic symbolic execution for data structure repair.

Ishtiaque Hussain, Christoph Csallner

Browse the full ISSTA paper archive.