<--- Back to Details
First PageDocument Content
Logic / Mathematical logic / Non-classical logic / Markov logic network / Software testing / Probabilistic logic / Software bug / Code coverage / Debugging / Inference / First-order logic / Buggy
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

Similar Documents

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang  Department of Computer Science & Engineering

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

DocID: 1xVks - View Document

Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

DocID: 1xUJM - View Document

Empir Software Eng DOIs10664Toward an understanding of bug fix patterns Kai Pan & Sunghun Kim & E. James Whitehead Jr.

Empir Software Eng DOIs10664Toward an understanding of bug fix patterns Kai Pan & Sunghun Kim & E. James Whitehead Jr.

DocID: 1vo53 - View Document

An Extensive Comparison of Bug Prediction Approaches Marco D’Ambros, Michele Lanza REVEAL @ Faculty of Informatics University of Lugano, Switzerland  Abstract—Reliably predicting software defects is one of software e

An Extensive Comparison of Bug Prediction Approaches Marco D’Ambros, Michele Lanza REVEAL @ Faculty of Informatics University of Lugano, Switzerland Abstract—Reliably predicting software defects is one of software e

DocID: 1uAgg - View Document

Revisiting Common Bug Prediction Findings Using Effort-Aware Models Yasutaka Kamei† , Shinsuke Matsumoto†† , Akito Monden‡ , Ken-ichi Matsumoto‡ , Bram Adams† and Ahmed E. Hassan† † Software Analysis and

Revisiting Common Bug Prediction Findings Using Effort-Aware Models Yasutaka Kamei† , Shinsuke Matsumoto†† , Akito Monden‡ , Ken-ichi Matsumoto‡ , Bram Adams† and Ahmed E. Hassan† † Software Analysis and

DocID: 1u6CA - View Document