Program Testing Techniques for Nuclear Reactor Protection Systems. - Werner Geiger; Lothar Gmeiner; Heinz H. Trauboth; Udo Voges (Computer, 1979)

SADAT - An Automated Testing Tool. - Udo Voges; Lothar Gmeiner; Anneliese von Mayrhauser (IEEE Trans. Software Eng., 1980)

Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes. - F. Fetsch; Lothar Gmeiner; Udo Voges (GI Jahrestagung, 1981)

Erfahrungen mit dem Einsatz automatischer Werkzeuge für die Qualitätsicherung während Entwurf und Test. - Lothar Gmeiner; Udo Voges (Software-Qualitätssicherung, 1982)

Zur Testfallgenerierung in der Entwurfsphase. - Lothar Gmeiner (1983)