Tests from Witnesses - Execution-Based Validation of Verification Results.

Dirk Beyer Matthias Dangl Thomas Lemberger Michael Tautschnig

Published in: TAP@STAF (2018)

Keyphrases

test generation
symbolic execution
model checking
face verification
execution model
databases
formal verification
machine learning
decision trees
data quality
data flow
signature verification
plan generation
concurrent systems