Dynamically discovering likely interface invariants

Christoph Csallner, Yannis Smaragdakis. Dynamically discovering likely interface invariants. In Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa, editors, 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. pages 861-864, ACM, 2006. [doi]

Abstract

Abstract is missing.