There are very few testing tools on the market today that combine testing and coverage. The tools that do combine these two element use a very simple coverage metric. This book contributes an extension to an automated testing tool called T2 that enhances it with a more sophisticated coverage measurement based on prime paths. This solution crucially relies on byte code instrumentation. However, a more elaborate instrumentation scheme is now needed. This is solved by combining it with a programming paradigm called Aspect Oriented Programming. Although a widely accepted paradigm, Aspect Oriented Programming has not been used eminently in software testing. T2 generates sequences of tests and randomly creates values as input to these tests. Due to T2''s random properties, it cannot guarantee a high code coverage. To address this, the extension also adds active strategies to improve T2''s coverage.
