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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 123-132, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 111-116, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Borislav Nikolik |
Convergence debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 89-98, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![ACM, 1-59593-050-7 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Bjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koen De Bosschere |
Backtracking and dynamic patching for free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 83-88, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yoonsik Cheon, Gary T. Leavens |
A contextual interpretation of undefinedness for runtime assertion checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 149-158, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 1-2, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Peischl, Franz Wotawa |
Error traces in model-based debugging of hardware description languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 43-48, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 105-110, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
monitoring, debugging, traces, inductive logic programming |
1 | Donglin Liang, Kai Xu 0002 |
Debugging object-oriented programs with behavior views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 133-142, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 159-163, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software testing, code coverage, hardware performance monitoring |
1 | Adrian Pop, Peter Fritzson |
Debugging natural semantics specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 77-82, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 69-76, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 117-122, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
horizontal debugging, pervasive debugging, vertical debugging |
1 | Steven P. Reiss |
Specifying and checking component usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 13-22, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 99-104, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christian Lindig |
Random testing of C calling conventions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 3-12, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 23-32, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 59-68, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 49-58, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
small answer set programming, logic programming, justifications |
1 | Ludovic Langevine, Mireille Ducassé |
A tracer driver for hybrid execution analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 143-148, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 33-42, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Gérard Ferrand, Willy Lesaint, Alexandre Tessier |
Value Withdrawal Explanation in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Holger Cleve, Andreas Zeller |
Finding Failure Causes through Automated Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin |
A Knowledge-based Automated Debugger in Learning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Robert Hood, Gabriele Jost |
Support for Debugging Automatically Parallelized Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, Masataka Sassa |
Systematic Debugging of Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Raimondas Lencevicius |
On-the-fly query-based debugging with examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert |
A Brief Overview of the MAD Debugging Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Johann Schumann |
Automatic Debugging Support for UML Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Dale E. Parson, Bryan Schlieder, Paul Beatty |
Extension Language Automation of Embedded System Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Raymond Smith, Bogdan Korel |
Slicing Event Traces of Large Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Mikhail Auguston |
Assertion checker for the C programming language based on computations over event traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux |
Execution replay and debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Florence Maraninchi, Fabien Gaucher |
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Srikanth Sankaran Adayapalam |
In Search of Yeti: Footprint Analysis with Wildebeest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Gerndt |
Towards automatic performance debugging tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Raimondas Lencevicius, Alexander Ran, Rahav Yairi |
Apache Web Server Execution Tracing Using Third Eye. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Ángel Herranz-Nieva, Juan José Moreno-Navarro |
Generation of and Debugging with Logical Pre and Post-Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski |
Slicing of Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Yasuhiro Ajiro, Kazunori Ueda |
Kima- An automated error correction system for concurrent logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Michiel Ronsse, Koenraad De Bosschere |
Non-intrusive on-the-fly data race detection using execution replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | David J. Murray, Dale E. Parson |
Automated Debugging in Java Using OCL and JDI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Erwan Jahier |
Collecting Graphical Abstract Views of Mercury Program Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa |
Model-Based Debugging of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Sarah Mallet, Mireille Ducassé |
DDB Trees: A Basis for Deductive Database Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 87-102, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | David Byers, Mariam Kamkar |
A Hybrid Approach to Propagation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 193-197, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Simon P. Booth, Simon B. Jones |
Walk Backwards to Happiness - Debugging by Time Travel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 171-183, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Mikhail Auguston, Miu Har Hon |
Assertions for Dynamic Shape Analysis of List Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 37-42, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Gérard Ferrand, Alexandre Tessier |
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 141-153, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Yoga Sivagurunathan, Mark Harman, Sebastian Danicic |
Slicing, I/O and the Implicit State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 59-68, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Thomas R. Gross |
Bisection Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 185-191, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Johan Boye, Wlodzimierz Drabent, Jan Maluszynski |
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 123-140, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Massimo Fabris |
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 103-122, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![Linköping University Electronic Press The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Bogdan Korel, Juergen Rilling |
Application of Dynamic Slicing in Program Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 43-58, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 155-169, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Kim Elms |
Debugging Optimised Code Using Function Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 27-36, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Adele E. Howe, Gabriel Somlo |
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 79-86, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | David Byers, Magnus Engström, Mariam Kamkar |
The Design of a Test Case Definition Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 69-78, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Vijay K. Garg |
Observation and Control for Debugging Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 1-12, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Richard W. M. Jones, Paul H. J. Kelly |
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, pp. 13-26, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Mariam Kamkar |
Preface (with proceedings front matter). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997, 1997, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 317-318, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Dean Allemang |
Using Functional Representations for Program Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 311-312, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal |
Recognition of Patterns on Control Flows for Debugging Distributed Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 221-232, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Karen L. Bernstein, Eugene W. Stark |
Formally Defining Debuggers: A Comparison of Three Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 261-275, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Marco Comini, Giorgio Levi, Giuliana Vitiello |
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 159-174, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Bogdan Korel |
Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 71-86, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Farid Ouabdesselam, Ioannis Parissis |
Testing Techniques for Data-Flow Synchronous Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 249-260, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Jan Sparud, Henrik Nilsson |
The Architecture of a Debugger for Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 19-34, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![IRISA-CNRS The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Mikhail Auguston |
Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 277-291, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Tommy Hoffner, Mariam Kamkar, Peter Fritzson |
Evaluation of Program Slicing tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 51-69, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé |
Automated Debugging Extensions of the Opium Trace Analyser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 293-308, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Michael Oberhuber |
Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 315-316, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Tim Heyer |
Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 35-50, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Tibor Gyimóthy, Jukka Paakki |
Static Slicing of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 87-103, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Eddy Fromentin, Noël Plouzeau, Michel Raynal |
Replaying Distributed Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 1-18, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Peter Rüppel |
A Class Library for the Automization of Class Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 313-314, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Thomas Kunz |
High-Level Views of Distributed Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 205-219, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Gerhard Tobermann, Clemens Beckstein |
Algorithmic Debugging with RISC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 175-190, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | P. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier |
A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 233-247, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Jeffrey M. Voas |
Software Testability Measurement for Assertion Placement and Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 133-144, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 309-310, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 191-203, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Harish Patil, Charles N. Fischer |
Efficient Run-time Monitoring Using Shadow Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 119-132, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Beat Liver |
Functional Diagnosis of Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 145-157, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Philip A. Smith, Geoffrey I. Webb |
Transparency Debugging with Explanations for Novice Programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995, pp. 105-118, 1995, IRISA-CNRS. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Sridhar Alager, S. Venkatsean |
Hierarchy in Testing Distributed programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, pp. 101-116, 1993, Springer, 3-540-57417-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Steven P. Reiss |
Trace-Based Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, pp. 305-314, 1993, Springer, 3-540-57417-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jingde Cheng |
Slicing Concurrent Programs - A Graph-Theoretical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, pp. 223-240, 1993, Springer, 3-540-57417-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Nilsson, Peter Fritzson |
Lazy Algorithmic Debugging: Ideas for Practical Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, pp. 117-134, 1993, Springer, 3-540-57417-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luca Console, Gerhard Friedrich, Daniele Theseider Dupré |
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, pp. 85-87, 1993, Springer, 3-540-57417-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Markus P. J. Fromherz |
Towards Declarative Debugging of Concurrent Constraint Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, pp. 88-100, 1993, Springer, 3-540-57417-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![Springer, 3-540-57417-4 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rudi Lutz |
Towards a Plan Calculus Based Intelligent Debugging System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, pp. 287-304, 1993, Springer, 3-540-57417-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Frank Julian Binks |
Declarative Debugging of Abstract Data Types in Gödel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, pp. 188-205, 1993, Springer, 3-540-57417-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|