Test Generation for Mutation Testing by Symbolic Execution.

Rui Su, Zhiyi Zhang, Yuqian Zhou, Yongming Yao

Browse the full QRS paper archive.