TY  - BOOK
AU  - Aichernig,Bernhard K.
AU  - Furia,Carlo A.
ED  - SpringerLink (Online service)
TI  - Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319411354
AV  - QA76.758 
U1  - 005.1 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computer programming
KW  - Computer logic
KW  - Mathematical logic
KW  - Programming languages (Electronic computers)
KW  - Computer simulation
KW  - Software Engineering
KW  - Programming Techniques
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Programming Languages, Compilers, Interpreters
KW  - Simulation and Modeling
N1  - Using Formal Methods for Verification and Validation in Railway -- Monadic Sequence Testing and Explicit Test-Refinements -- Advances in Property-Based Testing for alphaProlog -- Tests and Proofs for Enumerative Combinatorics -- Classifying Test Suite Effectiveness via Model Inference and ROBBDs -- Lighweight Symbolic Verification of Graph Transformations with Off-The-Shelf Hardware Model Checkers -- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification -- Your Proof Fails? Testing Helps to Find the Reason -- Classifying Bugs with Interpolants -- Debugging meets testing in Erlang -- Combining Dynamic and Static Analysis to help develop Correct Graph Transformations -- Automatic predicate testing in formal certification.
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-41135-4
ER  -