Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12165)
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 2020.
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 (10 papers)
-
Front Matter
-
Regular Research Papers
-
Front Matter
-
-
Tool Demonstration Papers
-
Front Matter
-
-
Short Paper
-
Front Matter
-
-
Back Matter
About this book
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.
The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. 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
- computer aided software engineering
- computer programming
- formal logic
- model checking
- problem solving
- programming languages
- artificial intelligence
- semantics
- software engineering
- software evaluation
- specifications
- symbolic execution
- theorem proving
- artificial intelligence
- computer hardware
- computer systems
- engineering
- mathematics
- software design
- software quality
Editors and Affiliations
-
Chalmers University of Technology, Gothenburg, Sweden
Wolfgang Ahrendt
-
Paderborn University, Paderborn, Germany
Heike Wehrheim
Bibliographic Information
Book Title: Tests and Proofs
Book Subtitle: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
Editors: Wolfgang Ahrendt, Heike Wehrheim
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-50995-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-50994-1Published: 20 June 2020
eBook ISBN: 978-3-030-50995-8Published: 20 June 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 181
Number of Illustrations: 141 b/w illustrations, 30 illustrations in colour
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Special Purpose and Application-Based Systems, Computer System Implementation, Artificial Intelligence