Second-order constraints in dynamic invariant inference.

Kaituo Li Christoph Reichenbach Yannis Smaragdakis Michal Young

Published in: ESEC/SIGSOFT FSE (2013)

Keyphrases

higher order
bayesian networks
dynamically changing
website
dynamic environments
data sets
machine learning
artificial intelligence
search space
co occurrence
constraint satisfaction
constrained optimization