Automated Boundary Test Generation from JML Specifications.

Fabrice Bouquet Frédéric Dadeau Bruno Legeard

Published in: FM (2006)

Keyphrases

test generation
test cases
test sequences
static analysis
design automation
symbolic execution
mutation testing
quality assurance
database systems
computer aided
software testing
high level
real world
query processing
open source
automated tools