A framework for detecting interface violations in component-based software.

Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth

Browse the full ICSR paper archive.