TAP 2019: 13TH INTERNATIONAL CONFERENCE ON TESTS AND PROOFS
TALK KEYWORD INDEX

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

Shortcuts: ABCDEFGILMNPRST
A
Abstract Interpretation
active inference
adaptive testing
Automatic stub generation
B
B Method
Bounded Model Checking
C
Code coverage
communicating FSMs
component-based systems
Concolic test generation
conformance testing
Constraint Logic Programming
constraint solving
D
deductive verification
dynamic verification
E
EMQ
Erlang
F
Formal verification
Frama-C
FSM learning
G
Genetic algorithms
I
IMITATOR
Internet of things
L
latency
M
meta-properties
model-based testing
MQTT
N
neural networks
Non-blocking algorithm
P
parametric timed automata
performance
program testing
Property-Based Testing
R
repair
S
SAT solving
software testing
specification
statistical model checking
Structural unit test
symbolic execution
symbolic transition systems
T
test purpose
testing in context
timed automata
TLA+