Detecting Missing Method Calls in Object-Oriented Software
Abstract elided by the publisher.
Related papers
- Detecting Defects in Object-Oriented Designs: Using Reading Techniques to Increase Software Quality OOPSLA 1999
- Synthesizing method sequences for high-coverage testing OOPSLA 2011
- CPerfSmith: A Randomized C Program Generator for Performance-Oriented Compiler Testing CC 2026
- Probabilistic calling context OOPSLA 2007
- Object Oriented Development in an Industrial Environment OOPSLA 1987
- Detecting inefficiently-used containers to avoid bloat PLDI 2010
- Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems ECOOP 2021
- Using types to analyze and optimize object-oriented programs TOPLAS 2001