TAP 2019: 13TH INTERNATIONAL CONFERENCE ON TESTS AND PROOFS
PROGRAM

Days: Wednesday, October 9th Thursday, October 10th Friday, October 11th

Wednesday, October 9th

View this program: with abstractssession overviewtalk overview

14:00-15:00 Session 1: Keynote
14:00
Extracting Unverified Program Parts from Software Verification Runs (abstract)
15:30-17:00 Session 2
15:30
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? (abstract)
16:00
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods (abstract)
16:30
Coverage-Based Testing with Symbolic Transition Systems (abstract)
Thursday, October 10th

View this program: with abstractssession overviewtalk overview

10:30-12:00 Session 3
10:30
BTestBox - A Tool for Testing B Translators and Coverage of B Models (abstract)
11:00
Predicting and Testing Latencies with Deep Learning: An IoT Case Study (abstract)
11:30
Learning Communicating State Machines (abstract)
Friday, October 11th

View this program: with abstractssession overviewtalk overview

10:30-12:30 Session 4
10:30
Repairing Timed-Automata Clock Guards through Abstraction and Testing (abstract)
11:00
Proving a Non-Blocking Algorithm for Process Renaming with TLA+ (abstract)
11:30
Tame Your Annotations with MetAcsl: Specifying, Testing, and Proving High-Level Properties (abstract)
12:00
Property-Based Test-Case Generators for Free (abstract)
14:00-15:30 Session 5: Invited Tutorial
14:00
RoboStar Technology - Testing in Robotics Using Process Algebra (abstract)