Tests and Proofs: 14th International Conference, Tap 2020, Held as Part of Staf 2020, Bergen, Norway, June 22-23, 2020, Proceedings

ISBN-13: 9783030509941 / Angielski / Miękka / 2020 / 181 str.

Wolfgang Ahrendt; Heike Wehrheim

Spis treści

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.