DEMINER: test generation for high test coverage through mutant exploration. - Kim, Yunho; Hong, Shin (Softw. Test. Verification Reliab., 2021)