Software-Sicherheitsprüfung mit VALSOFT. - Jens Krinke; Torsten Robschink; Gregor Snelting (Inform. Forsch. Entwickl., 1999)

Efficient path conditions in dependence graphs. - Torsten Robschink; Gregor Snelting (ICSE, 2002)

Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik. - Torsten Robschink (2005)

Efficient path conditions in dependence graphs for software safety analysis. - Gregor Snelting; Torsten Robschink; Jens Krinke (ACM Trans. Softw. Eng. Methodol., 2006)