Query-driven program testing / Michael Tautschnig. 2011
Inhalt