Test case generation from state machine with OCL constraints using search-based techniques - Saeed, Aneesa Ali Ali (2017)