Generating Tests from B Specifications and Test Purposes.

Jacques Julliand Pierre-Alain Masson Régis Tissot

Published in: ABZ (2008)

Keyphrases

post hoc
test data
test suite
test cases
test generation
multiple choice
statistical tests
database
real time
data sets
social networks
feature selection
control flow
test statistic
diagnostic tests
delay insensitive