Entdecken Sie in diesem Sammelband die neuesten Forschungsergebnisse zu formalen Tests und Verifikationsmethoden aus der neunten internationalen Konferenz, die im Juli 2015 in L'Aquila stattfand, und erweitern Sie Ihr Wissen über theoretische Grundlagen sowie praktische Anwendungen in der Softwareentwicklung.