Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
by
Aichernig, Bernhard K. editor.
Title
:
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Author
:
Aichernig, Bernhard K. editor.
ISBN
:
9783319411354
Physical Description
:
XIV, 199 p. 51 illus. online resource.
Series
:
Programming and Software Engineering ; 9762
Contents
:
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. .
Abstract
:
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.
Subject Term
:
Software engineering.
Computer science.
Logic design.
Computer simulation.
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
Simulation and Modeling. http://scigraph.springernature.com/things/product-market-codes/I19000
Added Author
:
Aichernig, Bernhard K.
Furia, Carlo A.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | Status |
---|
IYTE Library | E-Book | 2085908-1001 | QA76.758 | Online Springer |