Testing and Quality Assurance for Component-Based Software, Artech House Computer Library.