Method used to test the adequacy of a test suite for an entire program or for some portion. Also used to define a notion of coverage for formal verification (kupferman:concur:2006). See the Wikipedia article for a decent summary.
Papers related to Mutation testing
- Swarm testing [groce:issta:2012]
- An analysis and survey of the development of mutation testing [jia:ieeetse:2010]
- Sanity checks in formal verification [kupferman:concur:2006]
- Mutation testing advances: An analysis and survey (chapter 6) [papadakis:advances:2019]