FrMi: Fault-revealing Mutant Identification using killability severity. - Taha Rostami; Saeed Jalili (Inf. Softw. Technol., 2023)