default search action

combined dblp search
author search
venue search
publication search

ask others

2nd AADEBUG 1995: Saint Malo, France

> Home > Conferences and Workshops > AADEBUG

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/1995
Mireille Ducassé:
Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995. IRISA-CNRS 1995

Invited Talk

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/FromentinPR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/FromentinPR95
Eddy Fromentin, Noël Plouzeau, Michel Raynal:
Replaying Distributed Executions. AADEBUG 1995: 1-18

Lazyness and Delays

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/SparudN95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/SparudN95
Jan Sparud, Henrik Nilsson:
The Architecture of a Debugger for Lazy Functional Languages. AADEBUG 1995: 19-34
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Heyer95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Heyer95
Tim Heyer:
Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. AADEBUG 1995: 35-50

Slicing

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/HoffnerKF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/HoffnerKF95
Tommy Hoffner, Mariam Kamkar, Peter Fritzson:
Evaluation of Program Slicing tools. AADEBUG 1995: 51-69
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Korel95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Korel95
Bogdan Korel:
Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. AADEBUG 1995: 71-86
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/GyimothyP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/GyimothyP95
Tibor Gyimóthy, Jukka Paakki:
Static Slicing of Logic Programs. AADEBUG 1995: 87-103

Education

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/SmithW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/SmithW95
Philip A. Smith, Geoffrey I. Webb:
Transparency Debugging with Explanations for Novice Programmers. AADEBUG 1995: 105-118

Hardware

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/PatilF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/PatilF95
Harish Patil, Charles N. Fischer:
Efficient Run-time Monitoring Using Shadow Processing. AADEBUG 1995: 119-132

Assertions

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Voas95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Voas95
Jeffrey M. Voas:
Software Testability Measurement for Assertion Placement and Fault Localization. AADEBUG 1995: 133-144

Model-Based Diagnosis

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Liver95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Liver95
Beat Liver:
Functional Diagnosis of Sequential Programs. AADEBUG 1995: 145-157

Algorithmic Degugging

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/CominiLV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/CominiLV95
Marco Comini, Giorgio Levi, Giuliana Vitiello:
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG 1995: 159-174
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/TobermannB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/TobermannB95
Gerhard Tobermann, Clemens Beckstein:
Algorithmic Debugging with RISC. AADEBUG 1995: 175-190
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/ShimomuraOCO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/ShimomuraOCO95
Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta:
An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND. AADEBUG 1995: 191-203

Distributed and Concurrent Debugging

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Kunz95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Kunz95
Thomas Kunz:
High-Level Views of Distributed Executions. AADEBUG 1995: 205-219
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/FromentinJJR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/FromentinJJR95
Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal:
Recognition of Patterns on Control Flows for Debugging Distributed Executions. AADEBUG 1995: 221-232
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/PlacideFDS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/PlacideFDS95
P. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier:
A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications. AADEBUG 1995: 233-247
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/OuabdesselamP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/OuabdesselamP95
Farid Ouabdesselam, Ioannis Parissis:
Testing Techniques for Data-Flow Synchronous Programs. AADEBUG 1995: 249-260

Event Analysis

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/BernsteinS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/BernsteinS95
Karen L. Bernstein, Eugene W. Stark:
Formally Defining Debuggers: A Comparison of Three Approaches. AADEBUG 1995: 261-275
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Auguston95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Auguston95
Mikhail Auguston:
Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. AADEBUG 1995: 277-291
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Ducasse95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Ducasse95
Mireille Ducassé:
Automated Debugging Extensions of the Opium Trace Analyser. AADEBUG 1995: 293-308

Poster Session

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/AugustonBMNRSS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/AugustonBMNRSS95
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: 309-310
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Allemang95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Allemang95
Dean Allemang:
Using Functional Representations for Program Debugging. AADEBUG 1995: 311-312
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Ruppel95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Ruppel95
Peter Rüppel:
A Class Library for the Automization of Class Testing. AADEBUG 1995: 313-314
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/Oberhuber95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/Oberhuber95
Michael Oberhuber:
Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. AADEBUG 1995: 315-316
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aadebug/PaikCBCL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aadebug/PaikCBCL95
Eui Hyun Paik, Young-Sik Chung, YoungJoon Byun, Wan Choi, Byung-Sun Lee:
CHD: A Cross Debugger for Concurrent CHILL Programs. AADEBUG 1995: 317-318

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.