Evaluating specification-level MC/DC criterion in model-based testing of safety critical systems. - Syed S. Arefin; Hadi Hemmati; Howard W. Loewen (ICSE (SEIP), 2018)

Interactive semi-automated specification mining for debugging: An experience report. - Mohammad Jafar Mashhadi; Taha R. Siddiqui; Hadi Hemmati; Howard W. Loewen (Inf. Softw. Technol., 2019)