Seungjoon Chung, Shin Yoo. Augmenting Equivalent Mutant Dataset Using Symbolic Execution. In 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022. pages 150-159, IEEE, 2022. [doi]
Abstract is missing.