Runtime Verification of Generalized Test Tables.

Alexander Weigl Mattias Ulbrich Shmuel S. Tyszberowicz Jonas Klamroth

Published in: NFM (2021)

Keyphrases

test generation
test cases
databases
database
real world
bayesian networks
multiscale
data structure
expert systems
test data generation
information systems
image sequences
data model
model checking
temporal logic
signature verification