Automated test generation for industrial Erlang applications.

Johan Blom Bengt Jonsson

Published in: Erlang Workshop (2003)

Keyphrases

test generation
test cases
design automation
test sequences
symbolic execution
static analysis
industrial applications
quality assurance
software testing
mutation testing
artificial intelligence
regression testing
computer aided
cooperative
measurement data
test data generation
test set
knowledge management