An empirical study on practicality of specification mining algorithms on a real-world application. - Mohammad Jafar Mashhadi; Hadi Hemmati (ICPC, 2019)

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)

Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems. - Mohammad Jafar Mashhadi; Hadi Hemmati (ASE, 2020)

Behavioral Model Inference of Black-box Software using Deep Neural Networks. - Mohammad Jafar Mashhadi; Foozhan Ataiefard; Hadi Hemmati; Neil Walkinshaw (CoRR, 2021)

Deep State Inference: Toward Behavioral Model Inference of Black-Box Software Systems. - Foozhan Ataiefard; Mohammad Jafar Mashhadi; Hadi Hemmati; Neil Walkinshaw (IEEE Trans. Software Eng., 2022)