Test Generation for Sequential Nets of Abstract State Machines.

Paolo Arcaini Francesco Bolis Angelo Gargantini

Published in: ABZ (2012)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
design automation
software testing
quality assurance
mutation testing
machine vision
regression testing
learning algorithm
computer vision
information systems
test data generation
code coverage