ParTes: A test generation strategy for choreography participants.

Francesco De Angelis Daniele Fanì Andrea Polini

Published in: AST (2013)

Keyphrases

test generation
test cases
symbolic execution
software testing
design automation
static analysis
test sequences
database
quality assurance
artificial intelligence
knowledge management
programming language
service oriented architecture
multi agent
circuit design
test data generation
machine learning
data sets