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 |
NEWSEnglish Edition SOURCE CODE COVERAGEDocID: 1vaq0 - View Document | |
Investigating Faults Missed by Test Suites Achieving High Code Coverage Amanda Schwartz, Daniel Puckett University of South Carolina Upstate ,DocID: 1uSw7 - View Document | |
The Impact of Code Review Coverage and Code Review Participation on Software Quality A Case Study of the Qt, VTK, and ITK Projects 1 1DocID: 1u20H - View Document | |
CLFS_2016 PEIA 2015 Clinical Diagnostic Laboratory The absence or presence of a CPT code in this table does not indicate PEIA CoverageDocID: 1t2ao - View Document | |
Partition-Based Regression Verification Marcel B¨ohme School of Computing National University of SingaporeDocID: 1rt1R - View Document |