Saeed Amiri-Chimeh

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 3

Top Topics

Test Data Generation

Specification Language

Computational Framework

Top Venues

J. Syst. Softw.

Entertain. Comput.

Interact. Comput.

Publications

Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl
JAHAN: A framework for procedural generation of game maps from design specifications. Entertain. Comput. 50 (2024)
Saeed Amiri-Chimeh, Hassan Haghighi
An approach to solving non-linear real constraints for symbolic execution. J. Syst. Softw. 157 (2019)
Saeed Amiri-Chimeh, Hassan Haghighi, Mojtaba Vahidi-Asl, Kamyar Setayesh-Ghajar, Farshad Gholami-Ghavamabad
Rings: A Game with a Purpose for Test Data Generation. Interact. Comput. 30 (1) (2018)