Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C D E F G H I M N P R S T U

A
and-inverter graphs	Fuzzing and Delta Debugging And-Inverter Graph Verification Tools (ONLINE)
B
BDD library	BDDL: A Type System for Binary Decision Diagrams
binary decision diagrams	BDDL: A Type System for Binary Decision Diagrams
C
Conformance	Conformance Testing of Formal Semantics using Grammar-based Fuzzing
Conformance Checking	Reach on Register Automata via History Independence
Constraint projection	Reach on Register Automata via History Independence
correctness by construction	BDDL: A Type System for Binary Decision Diagrams
D
Definitional Quantifier	Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
delta debugging	Fuzzing and Delta Debugging And-Inverter Graph Verification Tools (ONLINE)
E
Executable codes	A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE)
F
Formal Semantics	Conformance Testing of Formal Semantics using Grammar-based Fuzzing
fuzzing	Fuzzing and Delta Debugging And-Inverter Graph Verification Tools (ONLINE)
G
Grammar-based Fuzzing	Conformance Testing of Formal Semantics using Grammar-based Fuzzing
H
Heap overflow	A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE)
History Independence	Reach on Register Automata via History Independence
I
Isabelle/HOL	Conformance Testing of Formal Semantics using Grammar-based Fuzzing Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
M
Machine learning	A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE)
Model checking	Reach on Register Automata via History Independence
multiplier verification	Fuzzing and Delta Debugging And-Inverter Graph Verification Tools (ONLINE)
N
Non-Emptiness	Reach on Register Automata via History Independence
P
Proof by induction	Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
R
Reachability	Reach on Register Automata via History Independence
Register Automata	Reach on Register Automata via History Independence
S
Solidity	Conformance Testing of Formal Semantics using Grammar-based Fuzzing
Symbolic Execution	A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE)
T
type systems	BDDL: A Type System for Binary Decision Diagrams
U
Unit testing	A unit-based symbolic execution method for detecting heap overflow vulnerability in executable codes (ONLINE)