Modultest und Modulverifikation state of the art - Liggesmeyer, Peter 1963- (Angewandte Informatik, 1990)