Similarity-Based Search for Model Checking: A Pilot Study with Java PathFinder.
Saved in:
| Title: | Similarity-Based Search for Model Checking: A Pilot Study with Java PathFinder. |
|---|---|
| Authors: | Ibrahimov, Elmin, Wang, Jixing, Zhou, Zhi Quan |
| Source: | 2013 13th International Conference on Quality Software; 2013, p238-244, 7p |
| Database: | Complementary Index |
Full Text Finder Be the first to leave a comment!