An efficient approach to state space management in model checking of complex software systems using machine learning techniques.
Saved in:
| Title: | An efficient approach to state space management in model checking of complex software systems using machine learning techniques. |
|---|---|
| Authors: | Yasrebi, Mohammad1, Rafe, Vahid2, v-rafe@araku.ac.ir, parvin, Hamid3,4, Nejatian, Samad5,6 |
| Source: | Journal of Intelligent & Fuzzy Systems; 2020, Vol. 38 Issue 2, p1761-1773, 13p |
| Database: | Applied Science & Technology Source |
| ISSN: | 10641246 |
|---|---|
| DOI: | 10.3233/JIFS-190023 |
