Automated test generation for engineering applications.

Songtao Xia Ben Di Vito César A. Muñoz

Published in: ASE (2005)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
static analysis
test data generation
quality assurance
artificial intelligence
software testing
mutation testing
complex systems
open source
petri net
regression testing
data model
information technology
decision making