Test Generation from Bounded Algebraic Specifications using Alloy.

Francisco Rebello de Andrade João Pascoal Faria Ana C. R. Paiva

Published in: ICSOFT (2) (2011)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
design automation
quality assurance
mutation testing
artificial intelligence
test data generation
software testing
formal specification
data sets
high level
specification language
information technology
cooperative
case study
real world