TATOO: Testing and Analysis Tool for Object- Oriented Software.

Amie L. Souter, Tiffany M. Wong, Stacey A. Shindo, Lori L. Pollock

Browse the full TACAS paper archive.