TATOO: Testing and Analysis Tool for Object- Oriented Software
No abstract available.
Related papers
- Structured Analysis and Object Oriented Analysis (Panel) OOPSLA 1990
- Object-Oriented Analysis and Top-Down Software Development ECOOP 1991
- A Theorem Prover-Based Analysis Tool for Object-Oriented Databases TACAS 1999
- CPerfSmith: A Randomized C Program Generator for Performance-Oriented Compiler Testing CC 2026
- Virtual Instruments: Object-Oriented Program Synthesis OOPSLA 1986
- Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs PLDI 1990
- Object-Oriented Design: A Responsibility-Driven Approach OOPSLA 1989
- Encapsulating objects with confined types TOPLAS 2007