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 | ISBN: | 9780769550398 |
|---|---|
| DOI: | 10.1109/QSIC.2013.15 |