PreInfer: Automatic Inference of Preconditions via Symbolic Analysis.

Angello Astorga Siwakorn Srisakaokul Xusheng Xiao Tao Xie

Published in: DSN (2018)

Keyphrases

high level
data analysis
metadata
case study
bayesian networks
statistical analysis
databases
data mining
artificial intelligence
social networks
feature selection
artificial neural networks
evolutionary algorithm
quantitative analysis
bayesian inference
automatic analysis