E-Book, Englisch, Band 9762, 199 Seiten, eBook
Aichernig / Furia Tests and Proofs
1. Auflage 2016
ISBN: 978-3-319-41135-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
E-Book, Englisch, Band 9762, 199 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-41135-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.