Hans-Gerhard Gross, Colin Atkinson, Franck Barbier. Component Integration through Built-in Contract Testing. In Alejandra Cechich, Mario Piattini, Antonio Vallecillo, editors, Component-Based Software Quality - Methods and Techniques. Volume 2693 of Lecture Notes in Computer Science, pages 159-183, Springer, 2003. [doi]
Abstract is missing.