Accelerated Finite State Machine Test Execution Using GPUs.

Vanya Yaneva Arnav Kapoor Ajitha Rajan Christophe Dubach

Published in: APSEC (2018)

Keyphrases

finite state machines
model checking
state machine
finite state automata
mutation testing
data warehouse
general purpose
state transition
domain knowledge
test suite
test generation
cellular automaton
digital circuits
medical devices