UML-Based integration testing. - Jean Hartmann; Claudio Imoberdorf; Michael Meisinger (ISSTA, 2000)