18 search results - page 2 / 4 » Compositional Explanation of Types and Algorithmic Debugging... |
APLAS
2000
ACM
13 years 9 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
ICML
2009
IEEE
14 years 5 months ago
2009
IEEE
We describe a new method for learning the conditional probability distribution of a binary-valued variable from labelled training examples. Our proposed Compositional Noisy-Logica...
FOIKS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
PASTE
2010
ACM
13 years 9 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...