Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9762)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: TAP 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 papers)
-
Invited Contribution
-
Regular Contributions
-
Tool Demonstration
-
Short Contributions
Other volumes
-
Tests and Proofs
Keywords
- formal methods
- machine learning
- model checking
- programming techniques
- verification
- declarative debugging
- formal languages
- Isabelle/HOL
- logic programming
- mathematical logic
- programming languages
- semantics
- simulation and modeling
- software engineering
- software testing
- static analysis
- symbolic execution
- testing
- theorem proving
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Tests and Proofs
Book Subtitle: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Editors: Bernhard K. Aichernig, Carlo A. Furia
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-41135-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-41134-7Published: 21 June 2016
eBook ISBN: 978-3-319-41135-4Published: 20 June 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 199
Number of Illustrations: 51 b/w illustrations
Topics: Software Engineering, Programming Techniques, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Simulation and Modeling
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications