Validation und Verifikation von Software durch symbolische Ausführung. - Kneuper, Ralf (1992)