An approach based on knowledge exploration for state space management in checking reachability of complex software systems.
Saved in:
| Title: | An approach based on knowledge exploration for state space management in checking reachability of complex software systems. |
|---|---|
| Authors: | Partabian, Jaafar1, Rafe, Vahid2, v-rafe@araku.ac.ir, Parvin, Hamid3,4, Nejatian, Samad5,6 |
| Source: | Soft Computing - A Fusion of Foundations, Methodologies & Applications; May2020, Vol. 24 Issue 10, p7181-7196, 16p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14327643 |
|---|---|
| DOI: | 10.1007/s00500-019-04334-3 |