![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd AADEBUG 1995: Saint Malo, France
- 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
- Eddy Fromentin, Noël Plouzeau, Michel Raynal:
Replaying Distributed Executions. AADEBUG 1995: 1-18
Lazyness and Delays
- Jan Sparud, Henrik Nilsson:
The Architecture of a Debugger for Lazy Functional Languages. AADEBUG 1995: 19-34 - Tim Heyer:
Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. AADEBUG 1995: 35-50
Slicing
- Tommy Hoffner, Mariam Kamkar, Peter Fritzson:
Evaluation of Program Slicing tools. AADEBUG 1995: 51-69 - Bogdan Korel:
Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. AADEBUG 1995: 71-86 - Tibor Gyimóthy, Jukka Paakki:
Static Slicing of Logic Programs. AADEBUG 1995: 87-103
Education
- Philip A. Smith, Geoffrey I. Webb:
Transparency Debugging with Explanations for Novice Programmers. AADEBUG 1995: 105-118
Hardware
- Harish Patil, Charles N. Fischer:
Efficient Run-time Monitoring Using Shadow Processing. AADEBUG 1995: 119-132
Assertions
- Jeffrey M. Voas:
Software Testability Measurement for Assertion Placement and Fault Localization. AADEBUG 1995: 133-144
Model-Based Diagnosis
- Beat Liver:
Functional Diagnosis of Sequential Programs. AADEBUG 1995: 145-157
Algorithmic Degugging
- Marco Comini, Giorgio Levi, Giuliana Vitiello:
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG 1995: 159-174 - Gerhard Tobermann, Clemens Beckstein:
Algorithmic Debugging with RISC. AADEBUG 1995: 175-190 - 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
- Thomas Kunz:
High-Level Views of Distributed Executions. AADEBUG 1995: 205-219 - Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal:
Recognition of Patterns on Control Flows for Debugging Distributed Executions. AADEBUG 1995: 221-232 - P. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier:
A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications. AADEBUG 1995: 233-247 - Farid Ouabdesselam, Ioannis Parissis:
Testing Techniques for Data-Flow Synchronous Programs. AADEBUG 1995: 249-260
Event Analysis
- Karen L. Bernstein, Eugene W. Stark:
Formally Defining Debuggers: A Comparison of Three Approaches. AADEBUG 1995: 261-275 - Mikhail Auguston:
Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. AADEBUG 1995: 277-291 - Mireille Ducassé:
Automated Debugging Extensions of the Opium Trace Analyser. AADEBUG 1995: 293-308
Poster Session
- 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 - Dean Allemang:
Using Functional Representations for Program Debugging. AADEBUG 1995: 311-312 - Peter Rüppel:
A Class Library for the Automization of Class Testing. AADEBUG 1995: 313-314 - Michael Oberhuber:
Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. AADEBUG 1995: 315-316 - 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.