Tests and proofs : 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings / Wolfgang Ahrendt, Heike Wehrheim (eds.).
TAP (Conference) (14th : 2020 : Bergen, Norway); Ahrendt, Wolfgang.; Wehrheim, Heike.; STAF (Federation of conferences) (2020 : Bergen, Norway), jointly held conference.
2020
QA76.76.T48 .T37 2020eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Tests and proofs : 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings / Wolfgang Ahrendt, Heike Wehrheim (eds.).
Meeting Name TAP (Conference) (14th : 2020 : Bergen, Norway)
ISBN 9783030509958 (electronic book)
3030509958 (electronic book)
9783030509941
Published Cham : Springer, 2020.
Language English
Description 1 online resource (xiii, 181 pages) : illustrations
Item Number 10.1007/978-3-030-50
Call Number QA76.76.T48 .T37 2020eb
Dewey Decimal Classification 005.1
Summary 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.
Note International conference proceedings.
"Due to the outbreak of the corona virus pandemic, STAF and TAP had to be postponed and will be held 2021."
Includes author index.
Access Note Access limited to authorized users.
Added Author Ahrendt, Wolfgang.
Wehrheim, Heike.
Added Meeting Name STAF (Federation of conferences) (2020 : Bergen, Norway), jointly held conference.
Series Lecture notes in computer science ; 12165.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
Mutation Testing of Smart Contracts at Scale
Deductive Binary Code Verification Against Source-Code-Level Specifications
Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries
SAT Modulo Differential Equation Simulations
Verified Runtime Assertion Checking for Memory Properties
Testing for Race Conditions in Distributed Systems via SMT Solving
SASA: a SimulAtor of Self-stabilizing Algorithms
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems
ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.

Browse Subjects

Show more subjects...

Statistics

from
to
Export