Program State Coverage: A Test Coverage Metric Based on Executed Program States. - Khashayar Etemadi Someoliayi; Sajad Jalali; Mostafa Mahdieh; Seyed-Hassan Mirian-Hosseinabadi (SANER, 2019)

Incorporating fault-proneness estimations into coverage-based test case prioritization methods. - Mostafa Mahdieh; Seyed-Hassan Mirian-Hosseinabadi; Khashayar Etemadi; Ali Nosrati; Sajad Jalali (Inf. Softw. Technol., 2020)

Statement frequency coverage: A code coverage criterion for assessing test suite effectiveness. - Alireza Aghamohammadi; Seyed-Hassan Mirian-Hosseinabadi; Sajad Jalali (Inf. Softw. Technol., 2021)

Coverage metrics for actor model programs: A model-based approach. - Sajad Jalali; Seyed-Hassan Mirian-Hosseinabadi (Inf. Softw. Technol., 2025)