Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution.

Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid

Browse the full ICST paper archive.