Achieving High Branch Coverage with Fewer Paths.

Yu Dong, Mengxiang Lin, Kai Yu, Yi Zhou, Yin-li Chen

Browse the full COMPSAC paper archive.