Symbolic Verification and Test Generation for a Network of Communicating FSMs.

Xiaoqing Jin Gianfranco Ciardo Tae-Hyong Kim Yang Zhao

Published in: ATVA (2011)

Keyphrases

test generation
symbolic execution
test cases
test sequences
design automation
static analysis
finite state machines
software testing
mutation testing
quality assurance
network structure
peer to peer
high level
test suite
source code
connectionist networks
machine learning
data sets