Scenario specification based testing model generation.

Beilei Liang Pan Liu Huaikou Miao

Published in: ICIS (2013)

Keyphrases

formal verification
test case generation
test cases
high level
application scenarios
real world
three dimensional
specification language
clustering algorithm
information systems
image processing
database
digital libraries
machine learning
data mining
formal methods
provably correct
databases