Login / Signup
Arvin Zakeriyan
ORCID
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
AGERE!@SPLASH
FSEN
</>
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)