Combinatorial Testing for VDM.

Peter Gorm Larsen Kenneth Lausdahl Nick Battle

Published in: SEFM (2010)

Keyphrases

database
test cases
real time
machine learning
learning algorithm
feature selection
case study
cooperative
test suite
testing process
covering arrays