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) |