https://1library.org/document/oz1jr3dz-using-mutation-in-fault-localization.html