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