Automatic Integer Error Repair by Proper-Type Inference.

Xi Cheng Min Zhou Xiaoyu Song Ming Gu Jiaguang Sun

Published in: IEEE Trans. Dependable Secur. Comput. (2021)

Keyphrases

search engine
decision trees
bayesian networks
error rate
semi automatic
databases
probabilistic inference
bayesian inference
estimation error
efficient learning
inference mechanism
information retrieval
scheduling problem
error bounds