@ARTICLE{Liggesmeyer1994c, author = {Liggesmeyer, P.}, title = {Eine Methode zur Konstruktion von Prüfstrategien für Software}, journal = {Informatik – Forschung \& Entwicklung}, year = {1994}, volume = {9}, pages = {82-92}, number = {2} }