LEIRIOS Test Generator: Automated Test Generation from B Models.

Eddie Jaffuel Bruno Legeard

Published in: B (2007)

Keyphrases

test generation
test cases
test sequences
probabilistic model
static analysis
data model
complex systems
test data
design automation
database
data sets
video sequences