|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466004103316 |
|
|
Titolo |
Tests and Proofs [[electronic resource] ] : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / / edited by Bernhard K. Aichernig, Carlo A. Furia |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 199 p. 51 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 9762 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer logic |
Mathematical logic |
Programming languages (Electronic computers) |
Computer simulation |
Software Engineering |
Programming Techniques |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Programming Languages, Compilers, Interpreters |
Simulation and Modeling |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
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. . |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |