Models for Contract Conformance.

Jakob Rehof Sriram K. Rajamani

Published in: ISoLA (Preliminary proceedings) (2004)

Keyphrases

database
data sets
prior knowledge
evolutionary algorithm
probabilistic model
statistical model
experimental data
neural network
information retrieval
complex systems
statistical models
modeling framework