Arvin Zakeriyan

According to our database, Arvin Zakeriyan authored at least 3 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

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

2021

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications.

Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2015

Jacco: more efficient model checking toolset for Java actor programs.

Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015