Daniel Brenner, Colin Atkinson, Rainer Malaka, Matthias Merdes, Barbara Paech, Dima Suliman. Reducing verification effort in component-based software engineering through built-in testing. Information Systems Frontiers, 9(2-3):151-162, 2007. [doi]
Abstract is missing.