Running symbolic execution forever.

Frank Busse, Martin Nowack, Cristian Cadar

Browse the full ISSTA paper archive.