Rui Su, Zhiyi Zhang, YuQian Zhou, Yongming Yao. Test Generation for Mutation Testing by Symbolic Execution. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023. pages 55-61, IEEE, 2023. [doi]
Abstract is missing.