Test, Analyse und Verifikation von Software – gestern, heute, morgen - Spillner, Andreas 1951-; Winter, Mario 1959-; Pietschker, Andrej 19XX- (dpunkt.verlag, 2018)