Combining static analysis error traces with dynamic symbolic execution (experience paper).

Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson

Browse the full ISSTA paper archive.