Mutation testing

[Google Scholar] [Wikipedia]

Notes:
Papers: kupferman:concur:2006, jia:ieeetse:2010, papadakis:advances:2019

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.