Jens Herrmann Klaus Grimm Klassifikation von Software-Testmethoden. 26-34 1992 conf/testen/1992 Testen, Analysieren und Verifizieren von Software db/conf/testen/testen1992.html#HerrmannG92