A study of equivalent and stubborn mutation operators using human analysis of equivalence.

Xiangjuan Yao, Mark Harman, Yue Jia

Browse the full ICSE paper archive.