Incremental Analysis of Evolving Alloy Models.

Wenxi Wang Kaiyuan Wang Milos Gligoric Sarfraz Khurshid

Published in: TACAS (1) (2019)

Keyphrases

data analysis
decision making
probabilistic model
statistical analysis
incremental learning
mathematical models
structural models
data sets
information systems
image processing
multi agent
image analysis
prior knowledge
model selection
quantitative analysis
accurate models