Model Learning and Test Generation for Event-B Decomposition.

Ionut Dinca Florentin Ipate Alin Stefanescu

Published in: ISoLA (1) (2012)

Keyphrases

prior knowledge
computational model
computer vision
learning algorithm
information systems
high level
probabilistic model
test generation
learned models