Follow
Arvin Zakeriyan
Arvin Zakeriyan
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
Towards automatic test case generation for industrial software systems based on functional specifications
A Zakeriyan, R Khosravi, H Safari, E Khamespanah
Fundamentals of Software Engineering: 9th International Conference, FSEN …, 2021
62021
Jacco: More efficient model checking toolset for java actor programs
A Zakeriyan, E Khamespanah, M Sirjani, R Khosravi
Proceedings of the 5th International Workshop on Programming Based on Actors …, 2015
52015
Automated testing of an industrial stock market trading platform based on functional specification
A Zakeriyan, R Khosravi, H Safari, E Khamespanah, SM Shamsabadi
Science of Computer Programming 225, 102908, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–3