TAP22: TESTS AND PROOFS 2022
PROGRAM
Tuesday, July 5th

View this program: with abstractssession overviewtalk overview

09:30-10:30 Session 1: Opening and Invited Talk
Chair:
Karl Meinke
09:30
Marie-Christine Jakobs
Automatic Test-Case Generation with CoVeriTest
10:30-11:00 Coffee Break
11:00-12:30 Session 2: Formal Analysis and Proofs
Chair:
Laura Kovacs
11:00
Simon Dierl and Falk Howar
Reach on Register Automata via History Independence (abstract)
PRESENTER: Simon Dierl
11:30
Yousra Lembachar, Ryan Rusich, Iulian Neamtiu and Gianfranco Ciardo
BDDL: A Type System for Binary Decision Diagrams (abstract)
PRESENTER: Ryan Rusich
12:00
Yutaka Nagashima
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction (abstract)
12:30-14:00 Lunch Break
14:00-15:30 Session 3: Effective Testing
Chair:
Catherine Dubois
14:00
Daniela Kaufmann and Armin Biere
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools (ONLINE) (abstract)
PRESENTER: Daniela Kaufmann
14:30
Maryam Mouzarani, Ali Kamali, Sara Baradaran and Mahdi Heidari
A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE) (abstract)
PRESENTER: Maryam Mouzarani
15:00
Diego Marmsoler and Achim D. Brucker
Conformance Testing of Formal Semantics using Grammar-based Fuzzing (abstract)
PRESENTER: Diego Marmsoler
15:30-16:00 Closing and Coffee Break