Login / Signup
DSL Composition for model-based test generation.
Bruno Barroca
Levi Lucio
Didier Buchs
Vasco Amaral
Luis Pedro
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
</>
test generation
test cases
symbolic execution
quality assurance
design automation
test sequences
static analysis
domain specific languages
software testing
learning algorithm
test suite
information technology
regression testing
high quality
code coverage
mutation testing
databases