Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool.

Mohsen Vakilian Amarin Phaosawasdi Michael D. Ernst Ralph E. Johnson

Published in: ICSE (1) (2015)

Keyphrases

computer vision
graphical models
probabilistic inference
bayesian inference
database
case study
general purpose
belief networks
software tools
inference process