Tests and Proofs: 13th International Conference, Tap 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portu

ISBN-13: 9783030311568 / Angielski / Miękka / 2019 / 207 str.

Dirk Beyer; Chantal Keller

Spis treści

When are Software Verification Results Valid for Approximate Hardware.- Testing Robots using CSP.- Constraints in Dynamic Symbolic Execution: Bitvectors or Integers.- Fast, Automatic and Nearly Complete Structural Unit Test Generation Combining Genetic Algorithms and Formal Methods.- Coverage-Based Testing with Symbolic Transition Systems.- BTestBox - A tool for testing B translators and coverage of B models.- Predicting and Testing Latencies with Deep Learning: an IoT Case Study.- Learning Communicating State Machines.- Repairing Timed Automata Clock Guards through Abstraction and Testing.- Proving a Non-Blocking Algorithm for Process Renaming with TLA+.- Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties.- Property-Based Test Case Generators for Free.