Tests and Proofs
Springer International Publishing (Verlag)
978-3-319-41134-7 (ISBN)
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.
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.
Erscheinungsdatum | 08.10.2016 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XIV, 199 p. 51 illus. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Schlagworte | Applications • Computer Science • conference proceedings • declarative debugging • Formal Languages • formal methods • Informatics • Isabelle/HOL • Logic Programming • machine learning • Mathematical Logic • Model Checking • Programming Languages • Programming Techniques • Research • Semantics • Simulation and modeling • Software engineering • Software Testing • Static Analysis • symbolic execution • Testing • theorem proving • verification |
ISBN-10 | 3-319-41134-9 / 3319411349 |
ISBN-13 | 978-3-319-41134-7 / 9783319411347 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich