Back to Results
First PageMeta Content
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

Document Date: 2015-05-05 00:58:34


Open Document

File Size: 112,63 KB

Share Result on Facebook