Elmin Ibrahimov

According to our database, Elmin Ibrahimov authored at least 1 paper in 2013.

Collaborative distances:

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

2013

Similarity-Based Search for Model Checking: A Pilot Study with Java PathFinder.

Elmin Ibrahimov, Jixing Wang, Zhi Quan Zhou

Proceedings of the 2013 13th International Conference on Quality Software, 2013