Mutation-inspired symbolic execution for software testing

Kevin J. Valle-Gómez, Antonio García-Domínguez, Pedro Delgado-Pérez, Inmaculada Medina-Bulo. Mutation-inspired symbolic execution for software testing. IET Software, 16(5):478-492, 2022. [doi]

Abstract

Abstract is missing.