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