Synthesis of Self-Testing Finite State Machines from High-Level Specifications.

Vishwani D. Agrawal Ronald D. Blanton Maurizio Damiani

Published in: ITC (1996)

Keyphrases

finite state machines
high level specifications
finite state automata
model checking
functional decomposition
mutation testing
regular expressions
digital circuits
test cases
databases
data analysis
hidden markov models
schema mappings