Search-based test case generation for object-oriented java software using strongly-typed genetic programming