A Systematic Exploration of Mutation-Based Fault Localization Formulae. - Bo Wang 050; Jinkang Wei; Mingda Chen; Chong Chen; Youfang Lin; Jie M. Zhang (Softw. Test. Verification Reliab., 2025)