Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "debugging"
Now showing items 1-5 of 5
-
Combining Associational and Causal Reasoning to Solve Interpretation and Planning Problems
(1988-08-01)This report describes a paradigm for combining associational and causal reasoning to achieve efficient and robust problem-solving behavior. The Generate, Test and Debug (GTD) paradigm generates initial hypotheses using ...
-
Dependency-Directed Localization of Software Bugs
(1989-05-01)Software bugs are violated specifications. Debugging is the process that culminates in repairing a program so that it satisfies its specification. An important part of debugging is localization, whereby the smallest ...
-
Expert Systems: Where Are We? And Where Do We Go from Here?
(1982-06-01)Work on Expert Systems has received extensive attention recently, prompting growing interest in a range of environments. Much has been made of the basic concept and the rule-based system approach typically used to ...
-
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging
(1989-01-01)A recognition assistant will help reconstruct the design of a program, given only its source code. A design assistant will assist a programmer by detecting errors and inconsistencies in his design choices and by ...
-
Toward Secure Services from Untrusted Developers
(2007-08-06)We present a secure service prototype built from untrusted,contributed code.The service manages private data for a variety of different users, anduser programs frequently require access to other users' private data.However, ...