Analytics-based safety monitoring and verification. - Hadi Hemmati; Syed S. Arefin; Taha R. Siddiqui (SMC, 2017)

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)