Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage.

TheAnh Do, Alvis Cheuk M. Fong, Russel Pears

Browse the full ENASE paper archive.