TATOO: Testing and analysis tool for object-oriented software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2031 LNCS, Issue , 2001, Pages 389-403

  Souter, Amie L ^a   Wong, Tiffany M ^b   Shindo, Stacey A ^a   Pollock, Lori L ^a  

^a University of Delaware   (United States)

^b Dartmouth College   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATION TESTING; PROGRAM COMPILERS; SOFTWARE DESIGN; SOFTWARE RELIABILITY; SOFTWARE ENGINEERING; SOFTWARE TESTING;

COMPILER OPTIMIZATIONS; CRITICAL COMPONENT; ESCAPE ANALYSIS; OBJECT BEHAVIOR; OBJECT ORIENTED SOFTWARE; PROGRAM ANALYSIS; SOFTWARE DEVELOPMENT PROCESS; TESTING PROCESS;

OBJECT ORIENTED PROGRAMMING;

EID: 47249112096     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45319-9_27     Document Type: Conference Paper

References (17)

1. R. Alexander. Testing the polymorphic relationships of object-oriented components. Technical report, George Mason University, 1999.
2. B. Bcizcr. Software Testing Techniques. VanNostrand Rcinhold, 2nd edition, 1990.
3. B. Blanchct. Escape analysis for object oriented languages. Application to Java. In Proceedings of OOPSLA, November 1999.
4. J. Bodga and U. Hoclzlc. Removing unnecessary synchronization in Java. In Proceedings of OOPSLA, November 1999.
5. R. Chattcrjcc and B. Ryder. Data-flow-based Testing of Object-Oriented Libraries. Technical Report 382, Rutgers University, March 1999.
6. J. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff. Escape analysis for Java. In Proceedings of OOPSLA, November 1999.
7. T. Chusho. Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing. IEEE Transaction on Software Engineering, 13(5):509 517, May 1987.
8. M. Fröhlich and M. Werner. The Graph Visualization System daVinci. Technical report, Univcrsität Bremen, Germany, September 1994.
9. M.J. Harrold and G. Rothcrmcl. Performing Data Flow Testing on Classes. In Proceedings of the Symposium on the Foundations of Software Engineering, 1994.
10. M.J. Harrold and M.L. Sofia. Interprocedural Data Flow Testing. In Proceedings of the ACM Symposium on Testing, Analysis, and Verification, 1989.
11. M. Rinard ct. al. FLEX, www.flcx-compilcr.lcs.mit.edu, 2000.
12. A. Orso. Integration Testing of Object-Oriented Software. PhD thesis, Politccnico Di Milano, 1999.
13. W. Perry. Effective Methods for Software Testing. John Wiley Inc, 1995.
14. S. Rapps and E. Wcyukcr. Selecting Software Test Data Using Data Flow Information. IEEE Transactions on Software Engineering, 11 (4):367 375, April 1985.
15. S. Sinha and M.J. Harrold. Criteria for Testing Exception-Handling Constructs for Java Programs. In Proceedings on Software Maintenance, January 1999.
16. A. Soutcr and L. Pollock. OMEN: A Strategy for Testing Object-Oriented Software. In Proceedings of the International Symposium on Software Testing and Analysis, August 2000.
17. J. Whalcy and M. Rinard. Compositional Pointer and Escape Analysis for Java Programs. In Proceedings of OOPSLA, November 1999.