Colin Atkinson. Component-Oriented Verification of Software Architectures through Built-in Tests. In Ronald Morrison, Dharini Balasubramaniam, Katrina E. Falkner, editors, Software Architecture, Second European Conference, ECSA 2008, Paphos, Cyprus, September 29 - October 1, 2008, Proceedings. Volume 5292 of Lecture Notes in Computer Science, pages 2, Springer, 2008. [doi]
Abstract is missing.