MC/DC coverage-oriented compiler optimization for symbolic execution.

Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng

Browse the full ICSE paper archive.