TATOO: Testing and Analysis Tool for Object- Oriented Software. - Amie L. Souter; Tiffany M. Wong; Stacey A. Shindo; Lori L. Pollock (TACAS, 2001)