An approach based on knowledge exploration for state space management in checking reachability of complex software systems. - Partabian, Jaafar; Rafe, Vahid; Parvin, Hamid; Nejatian, Samad (Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2020)