Amie L. Souter Tiffany M. Wong Stacey A. Shindo Lori L. Pollock TATOO: Testing and Analysis Tool for Object- Oriented Software. 389-403 2001 conf/tacas/2001 TACAS https://doi.org/10.1007/3-540-45319-9_27 db/conf/tacas/tacas2001.html#SouterWSP01