Using Abstract Contracts for Verifying Evolving Features and Their Interactions

Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer. Using Abstract Contracts for Verifying Evolving Features and Their Interactions. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 122-148, Springer, 2020. [doi]

Abstract

Abstract is missing.