Tests and Proofs

Discover the cutting-edge insights in computer science with Tests and Proofs, edited by Sebastian Gabmeyer. Published by Springer International Publishing AG in 2017, this paperback edition spans 163 pages and presents the refereed proceedings of the 11th International Conference on Tests and Proofs (TAP 2017), a significant part of STAF 2017 held in Marburg, Germany.

This volume features 9 meticulously reviewed full papers along with an invited paper, showcasing the latest research advancements in the field. Each submission was rigorously evaluated from a total of 16, ensuring only the highest quality contributions are included. Whether you are a scholar, researcher, or practitioner, Tests and Proofs offers valuable perspectives that will enhance your understanding of testing and proofs in software development.

Get your copy today to delve into the evolving landscape of software testing!