Das Buch "Tests and Proofs" dokumentiert die referierten Beiträge der 9. Internationalen Konferenz zu Tests und Beweisen, die im Juli 2015 in L'Aquila, Italien, stattfand. Es umfasst 11 überarbeitete Volltexte und 1 Kurzbeitrag, die aus insgesamt 21 Einreichungen sorgfältig ausgewählt wurden. Die akzeptierten Arbeiten decken ein breites Spektrum an Testtechniken ab, darunter modellbasierte, eigenschaftsbasierte und grammatikbasierte Ansätze sowie Methoden zur Fehlersuche und modellgetriebenen Ingenieurwesen. Darüber hinaus werden Themen wie Modellabdeckung, Konsistenz und Validierung behandelt. Viele der Beiträge nutzen interaktive und automatische Theorembeweiser, einschliesslich SMT-Löser und Modellprüfer, um die vorgestellten Konzepte zu untermauern.