Conferences in DBLP
Mireille Ducassé A Pragmatic Survey of Automated Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Nahid Shahmehri , Mariam Kamkar , Peter Fritzson Usability Criteria for Automated Debugging Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Ferrand The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , Carlos Viegas Damásio , José Júlio Alferes Debugging by Diagnosing Assumptions. [Citation Graph (0, 0)][DBLP ] Conf ] Yuh-Jeng Lee , Nachum Dershowitz Debugging Logic Programs Using Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Console , Gerhard Friedrich , Daniele Theseider Dupré Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Markus P. J. Fromherz Towards Declarative Debugging of Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sridhar Alager , S. Venkatsean Hierarchy in Testing Distributed programs. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Nilsson , Peter Fritzson Lazy Algorithmic Debugging: Ideas for Practical Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan E. Hazan , Richard G. Morgan The Location of Errors in Functional Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Visit Hirunkitti , Christopher J. Hogger A Generalised Query Minimisation for Program Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Tobermann , Clemens Beckstein What's in a Trace: The Box Model Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Dominic Binks Declarative Debugging of Abstract Data Types in Gödel. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , Susan Horwitz Slicing Programs with Arbitrary Control-flow. [Citation Graph (0, 0)][DBLP ] Conf ] Jingde Cheng Slicing Concurrent Programs - A Graph-Theoretical Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Tip Animators for Generated Programming Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Julio García-Martín , Juan José Moreno-Navarro Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Rickard Westman , Peter Fritzson Graphical User Interfaces for Algorithmic Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Rudi Lutz Towards a Plan Calculus Based Intelligent Debugging System. [Citation Graph (0, 0)][DBLP ] Conf ] Steven P. Reiss Trace-Based Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan Korel Identifying Faulty Modifications in Software Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Anoop Goyal , Sriram Sankar The Application of Formal Specifications to Software Documentation and Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof Kuchcinski , Wlodzimierz Drabent , Jan Maluszynski Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] 