Conference Program

Timezone: CEST

June 21st, 2021

• 08:50 – 09:00: Opening
• 09:00 – 10:30: Keynote:
  Learning About the Change: An Adaptive Approach to Automata Learning
  Mohammad Reza Mousavi, University of Leicester, UK
• 10:30 – 11:00: BREAK
• 11:00 – 12:30: Session 1 – TAP 2020 / Verification & Assertions
  1. Deductive Binary Code Verification Against Source-Code-Level Specifications
     Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro
  2. Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries
     Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke
  3. Verified Runtime Assertion Checking for Memory Properties
     Dara Ly, Nikolai Kosmatov, Frederic Loulergue, Julien Signoles
• 12:30 – 13:30: BREAK
• 13:30 – 15:00: Session 2 TAP 2021 / Learning, test resource allocation & benchmarks
  1. Use Case Testing: A Constrained Active Machine Learning Approach
     Karl Meinke, Hojat Khosrowjerdi
  2. Architecture-Guided Test Resource Allocation Via Logic
     Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
  3. A Benchmarks Library for Extended Timed Automata
     Étienne André, Dylan Marinho, Jaco Van de Pol
• 15:00 – 15:30: BREAK
• 15:30 – 17:00: Session 3 – TAP 2020 / Testing
  1. Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
     Bernhard K. Aichernig, Martin Tappler, Felix Wallner
  2. Mutation testing of smart contracts at scale
     Pieter Hartel, Richard Schumi
  3. ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games Martin Mariusz Lester

June 22nd, 2021

• 11:00 – 12:30: TAP 2021 Tutorial
  Testing, Runtime Verification and Automata Learning
  Martin Leucker, University of Lübeck, Germany
• 12:30 – 13:30: BREAK
• 13:30 – 15:00: Session 4 – TAP 2021 / Testing
  1. Generating Timed UI Tests from Counterexamples
     Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer
  2. Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs
     Amirfarhad Nilizadeh, Gary T. Leavens, Corina Pasareanu
  3. FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
     Kaled Alshmrany, Mohannad Aldughaim, Lucas Cordeiro, Ahmed Bhayat
• 15:00 – 15:30: BREAK
• 15:30 – 17:00: Session 5 – TAP 2020 / Simulation & Toolkits
  1. SAT Modulo Differential Equation Simulations
     Tomáš Kolárik, Stefan Ratschan
  2. SASA: a SimulAtor of Self-stabilizing Algorithms
     Erwan Jahier, Karine Altisen, Stéphane Devismes
  3. A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems
     Paolo Masci, Cesar Munoz