Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Lecture Notes in Computer Science Book 9762)

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. Front Matter....Pages I-XIV Front Matter....Pages 1-1 Using Formal Methods for Verification and Validation in Railway....Pages 3-13 Front Matter....Pages 15-15 Monadic Sequence Testing and Explicit Test-Refinements....Pages 17-36 Advances in Property-Based Testing for \(\alpha \) Prolog....Pages 37-56 Tests and Proofs for Enumerative Combinatorics....Pages 57-75 Classifying Test Suite Effectiveness via Model Inference and ROBBDs....Pages 76-93 Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers....Pages 94-111 Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification....Pages 112-129 Your Proof Fails? Testing Helps to Find the Reason....Pages 130-150 Classifying Bugs with Interpolants....Pages 151-168 Front Matter....Pages 169-169 Debugging Meets Testing in Erlang....Pages 171-180 Front Matter....Pages 181-181 Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations....Pages 183-190 Automatic Predicate Testing in Formal Certification....Pages 191-198 Back Matter....Pages 199-199