TATOO provides a systematic approach to testing tailored towards object behavior and particularly for class integration testing. The underlying program analysis subsystem exploits combined points-to and escape analysis developed for compiler optimization to address the software testing issues.