First Page | Document Content | |
---|---|---|
Date: 2015-05-05 00:58:34Logic Mathematical logic Non-classical logic Markov logic network Software testing Probabilistic logic Software bug Code coverage Debugging Inference First-order logic Buggy | Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & EngineeringAdd to Reading ListSource URL: zhang-sai.github.ioDownload Document from Source WebsiteFile Size: 112,63 KBShare Document on Facebook |