Arvin Zakeriyan

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 2

Top Topics

Formal Specification

Reachability Analysis

Alternating Time Temporal Logic

Test Case Generation

Top Venues

Publications

Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi
Automated testing of an industrial stock market trading platform based on functional specification. Sci. Comput. Program. 225 (2023)
Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. FSEN (2021)
Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
Jacco: more efficient model checking toolset for Java actor programs. AGERE!@SPLASH (2015)