Sign in
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models.
Takaya Saeki
Fuyuki Ishikawa
Shinichi Honiden
Published in:
ICFEM (2016)
Keyphrases
</>
data sets
experimental data
prior knowledge
knowledge base
multi agent
probabilistic model
statistical model
statistical models