Algorithms (Técnicas de Planificación para la Mejora de la Eficiencia de

ii Evolutionary Testing is an emerging methodology for automatically generat-ing high quality test data. The focus of this work is on presenting a search-based approach for the the unit-testing of third-party object-oriented Java software. Test cases are represented and evolved using the Strongly Typed Genetic Programming paradigm, which effectively mimics the inheritance and poly-morphic properties of object-oriented programs and enables the maintenance of call dependences when applying tree construction, mutation or crossover. Our strategy for evaluating the quality of test cases includes instrument-ing the test object for basic block analysis and structural event dispatch, and executing the instrumented test object using the generated test cases as “inputs ” – in order to collect trace information and derive coverage metrics. Static analysis, instrumentation and execution tracing is performed solel