Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study.

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey

Browse the full LOPSTR paper archive.