TATOO: Testing and Analysis Tool for Object-Oriented Software

Author : Souter, Amie; Wong, Tiffany; Shindo, Stacey; Pollock, Lori
Booktitle : Tools and Algorithms for the Construction and Analysis of Systems, (TACAS)
Date : Apr 2001
Pages : 389–403
Document Type : In Conference Proceedings

Abstract :

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.

Paper Link