C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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