Text this: An efficient approach to state space management in model checking of complex software systems using machine learning techniques.