TAP22: TESTS AND PROOFS 2022

B
Baradaran, Sara	A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE)
Biere, Armin	Fuzzing and Delta Debugging And-Inverter Graph Verification Tools (ONLINE)
Brucker, Achim D.	Conformance Testing of Formal Semantics using Grammar-based Fuzzing
C
Ciardo, Gianfranco	BDDL: A Type System for Binary Decision Diagrams
D
Dierl, Simon	Reach on Register Automata via History Independence
H
Heidari, Mahdi	A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE)
Howar, Falk	Reach on Register Automata via History Independence
J
Jakobs, Marie-Christine	Automatic Test-Case Generation with CoVeriTest
K
Kamali, Ali	A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE)
Kaufmann, Daniela	Fuzzing and Delta Debugging And-Inverter Graph Verification Tools (ONLINE)
L
Lembachar, Yousra	BDDL: A Type System for Binary Decision Diagrams
M
Marmsoler, Diego	Conformance Testing of Formal Semantics using Grammar-based Fuzzing
Mouzarani, Maryam	A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE)
N
Nagashima, Yutaka	Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
Neamtiu, Iulian	BDDL: A Type System for Binary Decision Diagrams
R
Rusich, Ryan	BDDL: A Type System for Binary Decision Diagrams

Disclaimer | Powered by EasyChair Smart Program