Jacco: more efficient model checking toolset for Java actor programs. - Arvin Zakeriyan; Ehsan Khamespanah; Marjan Sirjani; Ramtin Khosravi (AGERE!@SPLASH, 2015)

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. - Arvin Zakeriyan; Ramtin Khosravi; Hadi Safari; Ehsan Khamespanah (FSEN, 2021)

Automated testing of an industrial stock market trading platform based on functional specification. - Arvin Zakeriyan; Ramtin Khosravi; Hadi Safari; Ehsan Khamespanah; Seyede Mehrnaz Shamsabadi (Sci. Comput. Program., 2023)