Saeed Amiri-Chimeh

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Specification Language

Search Based Testing

Symbolic Execution

Top Venues

J. Syst. Softw.

Interact. Comput.

Publications

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)