Model-based automatic test generation for Simulink/Stateflow using extended finite automaton.

Meng Li Ratnesh Kumar

Published in: CASE (2012)

Keyphrases

test generation
finite automaton
test cases
symbolic execution
test sequences
control system
software testing
static analysis
quality assurance
design automation
artificial intelligence
data sets
database systems
machine vision
finite automata
tree automata