default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Refine list

refinements active!

zoomed in on ?? of ?? records

dismiss all constraints

view refined list in

dblp search

export refined list as

XML

JSON

JSONP

BibTeX

showing all ?? records

• 
  Mireille Ducassé:
  Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000. 2000

http://xxx.lanl.gov/abs/cs.SE/0010035

• 
  Michael Gerndt:
  Towards automatic performance debugging tools. AADEBUG 2000
• 
  Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux:
  Execution replay and debugging.

• 
  Dale E. Parson, Bryan Schlieder, Paul Beatty:
  Extension Language Automation of Embedded System Debugging.
• 
  Raimondas Lencevicius:
  On-the-fly query-based debugging with examples.
• 
  Yasuhiro Ajiro, Kazunori Ueda:
  Kima- An automated error correction system for concurrent logic programs.

• 
  Mikhail Auguston:
  Assertion checker for the C programming language based on computations over event traces.
• 
  Erwan Jahier:
  Collecting Graphical Abstract Views of Mercury Program Executions.
• 
  Florence Maraninchi, Fabien Gaucher:
  Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. AADEBUG 2000
• 
  Ángel Herranz-Nieva, Juan José Moreno-Navarro:
  Generation of and Debugging with Logical Pre and Post-Conditions.
• 
  Michiel Ronsse, Koenraad De Bosschere:
  Non-intrusive on-the-fly data race detection using execution replay.
• 
  Robert Hood, Gabriele Jost:
  Support for Debugging Automatically Parallelized Programs.
• 
  Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski:
  Slicing of Constraint Logic Programs.
• 
  Gérard Ferrand, Willy Lesaint, Alexandre Tessier:
  Value Withdrawal Explanation in CSP.
• 
  Srikanth Sankaran Adayapalam:
  In Search of Yeti: Footprint Analysis with Wildebeest. AADEBUG 2000
• 
  Johann Schumann:
  Automatic Debugging Support for UML Designs.

• 
  Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert:
  A Brief Overview of the MAD Debugging Activities.
• 
  Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, Masataka Sassa:
  Systematic Debugging of Attribute Grammars.
• 
  Raimondas Lencevicius, Alexander Ran, Rahav Yairi:
  Apache Web Server Execution Tracing Using Third Eye.

• 
  Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin:
  A Knowledge-based Automated Debugger in Learning System.
• 
  Holger Cleve, Andreas Zeller:
  Finding Failure Causes through Automated Testing.
• 
  Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa:
  Model-Based Debugging of Java Programs.
• 
  David J. Murray, Dale E. Parson:
  Automated Debugging in Java Using OCL and JDI.
• 
  Raymond Smith, Bogdan Korel:
  Slicing Event Traces of Large Software Systems.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-12-01 23:08 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: