@INPROCEEDINGS{Liggesmeyer1996g, author = {Liggesmeyer, P.}, title = {Methoden und Techniken für die Prüfung objektorientierter Systeme}, booktitle = {Object World}, year = {1996}, publisher = {1-7} }