Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Naveen Kumar 0002, Bruce R. Childers, Mary Lou Soffa |
Tdb: a source-level debugger for dynamically translated programs. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
debugging, dynamic instrumentation, dynamic binary translation |
1 | Kevin Camera, Hayden Kwok-Hay So, Robert W. Brodersen |
An integrated debugging environment for reprogrammble hardware systems. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Borislav Nikolik |
Convergence debugging. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
convergence hypothesis, test dispersion, test diversity, testing, debugging, convergence |
1 | Clinton Jeffery, Jong-Deok Choi, Raimondas Lencevicius (eds.) |
Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005 |
AADEBUG |
2005 |
DBLP BibTeX RDF |
|
1 | Bjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koen De Bosschere |
Backtracking and dynamic patching for free. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yoonsik Cheon, Gary T. Leavens |
A contextual interpretation of undefinedness for runtime assertion checking. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions |
1 | William W. Pugh |
Keynote talk: Advice to bug hunters. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Peischl, Franz Wotawa |
Error traces in model-based debugging of hardware description languages. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
conditional dependency, error trace, potential influence, fault localization, automated debugging, software debugging, source-level debugging |
1 | Remko Tronçon, Gerda Janssens |
Analyzing & debugging ILP data mining query execution. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
monitoring, debugging, traces, inductive logic programming |
1 | Donglin Liang, Kai Xu 0002 |
Debugging object-oriented programs with behavior views. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
debugging language, secenario-driven, execution monitoring |
1 | Alex Shye, Matthew Iyer, Vijay Janapa Reddi, Daniel A. Connors |
Code coverage testing using hardware performance monitoring support. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
software testing, code coverage, hardware performance monitoring |
1 | Adrian Pop, Peter Fritzson |
Debugging natural semantics specifications. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
logical functional languages, proof-trees, debugging, rule-based |
1 | Yasushi Saito |
Jockey: a user-space library for record-replay debugging. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
execution record and replay, jockey, debugging, Linux, checkpointing, keywords, x86 |
1 | Alex Ho, Steven Hand 0001 |
On the design of a pervasive debugger. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
horizontal debugging, pervasive debugging, vertical debugging |
1 | Steven P. Reiss |
Specifying and checking component usage. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
verification, specifications, components, automata, flow analysis, finite-state |
1 | Valentin Dallmeier, Christian Lindig, Andreas Zeller |
Lightweight bug localization with AMPLE. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christian Lindig |
Random testing of C calling conventions. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
calling convention, compiler, composition, C, consistency, random testing |
1 | Chad D. Sterling, Ronald A. Olsson |
Automated bug isolation via program chipping. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
bug isolation, program chipping, debugging, program slicing, data slicing |
1 | Ian MacLarty, Zoltan Somogyi, Mark Brown |
Divide-and-query and subterm dependency tracking in the mercury declarative debugger. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
algorithmic debugging, divide-and-query, program slicing, declarative debugging |
1 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
Justification and debugging of answer set programs in ASP. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
small answer set programming, logic programming, justifications |
1 | Ludovic Langevine, Mireille Ducassé |
A tracer driver for hybrid execution analyses. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
tracer, visualization, monitoring, debugging |
1 | Xiangyu Zhang 0001, Haifeng He, Neelam Gupta, Rajiv Gupta 0001 |
Experimental evaluation of using dynamic slices for fault location. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
full slice, relevant slice, debugging, data slice |
1 | Michiel Ronsse, Koen De Bosschere (eds.) |
Proceedings of the Fifth International Workshop on Automated Debugging, AADEBUG 2003, Ghent, Belgium, September 8-10, 2003 |
AADEBUG |
2003 |
DBLP BibTeX RDF |
|
1 | Gérard Ferrand, Willy Lesaint, Alexandre Tessier |
Value Withdrawal Explanation in CSP. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Holger Cleve, Andreas Zeller |
Finding Failure Causes through Automated Testing. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin |
A Knowledge-based Automated Debugger in Learning System. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Robert Hood, Gabriele Jost |
Support for Debugging Automatically Parallelized Programs. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, Masataka Sassa |
Systematic Debugging of Attribute Grammars. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Raimondas Lencevicius |
On-the-fly query-based debugging with examples. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert |
A Brief Overview of the MAD Debugging Activities. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Johann Schumann |
Automatic Debugging Support for UML Designs. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Dale E. Parson, Bryan Schlieder, Paul Beatty |
Extension Language Automation of Embedded System Debugging. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Raymond Smith, Bogdan Korel |
Slicing Event Traces of Large Software Systems. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Mikhail Auguston |
Assertion checker for the C programming language based on computations over event traces. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux |
Execution replay and debugging. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Florence Maraninchi, Fabien Gaucher |
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé (eds.) |
Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000 |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Srikanth Sankaran Adayapalam |
In Search of Yeti: Footprint Analysis with Wildebeest. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Gerndt |
Towards automatic performance debugging tools. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Raimondas Lencevicius, Alexander Ran, Rahav Yairi |
Apache Web Server Execution Tracing Using Third Eye. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Ángel Herranz-Nieva, Juan José Moreno-Navarro |
Generation of and Debugging with Logical Pre and Post-Conditions. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski |
Slicing of Constraint Logic Programs. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Yasuhiro Ajiro, Kazunori Ueda |
Kima- An automated error correction system for concurrent logic programs. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Michiel Ronsse, Koenraad De Bosschere |
Non-intrusive on-the-fly data race detection using execution replay. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | David J. Murray, Dale E. Parson |
Automated Debugging in Java Using OCL and JDI. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Erwan Jahier |
Collecting Graphical Abstract Views of Mercury Program Executions. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa |
Model-Based Debugging of Java Programs. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
1 | Sarah Mallet, Mireille Ducassé |
DDB Trees: A Basis for Deductive Database Explanations. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | David Byers, Mariam Kamkar |
A Hybrid Approach to Propagation Analysis. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Simon P. Booth, Simon B. Jones |
Walk Backwards to Happiness - Debugging by Time Travel. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Mikhail Auguston, Miu Har Hon |
Assertions for Dynamic Shape Analysis of List Data Structures. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Gérard Ferrand, Alexandre Tessier |
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Yoga Sivagurunathan, Mark Harman, Sebastian Danicic |
Slicing, I/O and the Implicit State. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Thomas R. Gross |
Bisection Debugging. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Johan Boye, Wlodzimierz Drabent, Jan Maluszynski |
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Massimo Fabris |
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Mariam Kamkar (eds.) |
Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997 |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Bogdan Korel, Juergen Rilling |
Application of Dynamic Slicing in Program Debugging. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla |
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Kim Elms |
Debugging Optimised Code Using Function Interpretation. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Adele E. Howe, Gabriel Somlo |
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | David Byers, Magnus Engström, Mariam Kamkar |
The Design of a Test Case Definition Language. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Vijay K. Garg |
Observation and Control for Debugging Distributed Computations. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Richard W. M. Jones, Paul H. J. Kelly |
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Mariam Kamkar |
Preface (with proceedings front matter). |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
1 | Eui Hyun Paik, Young-Sik Chung, YoungJoon Byun, Wan Choi, Byung-Sun Lee |
CHD: A Cross Debugger for Concurrent CHILL Programs. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Dean Allemang |
Using Functional Representations for Program Debugging. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal |
Recognition of Patterns on Control Flows for Debugging Distributed Executions. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Karen L. Bernstein, Eugene W. Stark |
Formally Defining Debuggers: A Comparison of Three Approaches. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Marco Comini, Giorgio Levi, Giuliana Vitiello |
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Bogdan Korel |
Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Farid Ouabdesselam, Ioannis Parissis |
Testing Techniques for Data-Flow Synchronous Programs. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Jan Sparud, Henrik Nilsson |
The Architecture of a Debugger for Lazy Functional Languages. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé (eds.) |
Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995 |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Mikhail Auguston |
Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Tommy Hoffner, Mariam Kamkar, Peter Fritzson |
Evaluation of Program Slicing tools. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé |
Automated Debugging Extensions of the Opium Trace Analyser. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Michael Oberhuber |
Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Tim Heyer |
Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Tibor Gyimóthy, Jukka Paakki |
Static Slicing of Logic Programs. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Eddy Fromentin, Noël Plouzeau, Michel Raynal |
Replaying Distributed Executions. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Peter Rüppel |
A Class Library for the Automization of Class Testing. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Thomas Kunz |
High-Level Views of Distributed Executions. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Gerhard Tobermann, Clemens Beckstein |
Algorithmic Debugging with RISC. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | P. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier |
A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Jeffrey M. Voas |
Software Testability Measurement for Assertion Placement and Fault Localization. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Mikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad |
AUI - the Debugger and Assertion Checker for the Awk Programming Language. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta |
An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Harish Patil, Charles N. Fischer |
Efficient Run-time Monitoring Using Shadow Processing. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Beat Liver |
Functional Diagnosis of Sequential Programs. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Philip A. Smith, Geoffrey I. Webb |
Transparency Debugging with Explanations for Novice Programmers. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
1 | Sridhar Alager, S. Venkatsean |
Hierarchy in Testing Distributed programs. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Steven P. Reiss |
Trace-Based Debugging. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jingde Cheng |
Slicing Concurrent Programs - A Graph-Theoretical Approach. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Nilsson, Peter Fritzson |
Lazy Algorithmic Debugging: Ideas for Practical Implementation. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luca Console, Gerhard Friedrich, Daniele Theseider Dupré |
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Markus P. J. Fromherz |
Towards Declarative Debugging of Concurrent Constraint Programs. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fritszon (eds.) |
Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rudi Lutz |
Towards a Plan Calculus Based Intelligent Debugging System. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Frank Julian Binks |
Declarative Debugging of Abstract Data Types in Gödel. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|