Using an SMT Solver for Checking the Completeness of FSM-Based Tests.

Evgenii M. Vinarskii Andrey Laputenko Nina Yevtushenko

Published in: ICTSS (2020)

Keyphrases

finite state machines
neural network
data quality
statistical machine translation
decision trees
post hoc
real time
real world
genetic algorithm
database systems
integrity constraints
constraint solving