Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science - Ritchie - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-05-05 00:58:34 Logic 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 & Engineering Add to Reading List Source URL: zhang-sai.github.io Download Document from Source Website File Size: 112,63 KB Share Document on Facebook

	ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software DocID: 1xVFC - View Document
	REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of DocID: 1xVto - View Document
	JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2 DocID: 1xUTT - View Document
	VOLUME 2: BPGen: An Automated Breakpoint Generator for Debugging DocID: 1xUOR - View Document
	Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt University of Utah DocID: 1xUJA - View Document