Editors:
- 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)
Conference series link(s): TAP: International Conference on Tests and Proofs
Conference proceedings info: TAP 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 papers)
-
Front Matter
-
Invited Contribution
-
Front Matter
-
-
Regular Contributions
-
Front Matter
-
-
Tool Demonstration
-
Front Matter
-
-
Short Contributions
-
Front Matter
-
-
Back Matter
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.
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
Editors and Affiliations
-
Graz University of Technology, Graz, Austria
Bernhard K. Aichernig
-
Chalmers University of Technology, Göteborg, Sweden
Carlo A. Furia
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