Daniel Brenner Colin Atkinson Barbara Paech Rainer Malaka Matthias Merdes Dima Suliman Reducing Verification Effort in Component-Based Software Engineering through Built-In Testing. 175-184 2006 conf/edoc/2006 EDOC http://doi.ieeecomputersociety.org/10.1109/EDOC.2006.44 db/conf/edoc/edoc2006.html#BrennerAPMMS06