The SCEAS System
Navigation Menu

Conferences in DBLP

Automated and Algorithmic Debugging (AADEBUG) (aadebug)
1995 (conf/aadebug/95)

  1. Eddy Fromentin, Noël Plouzeau, Michel Raynal
    Replaying Distributed Executions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:1-18 [Conf]
  2. Jan Sparud, Henrik Nilsson
    The Architecture of a Debugger for Lazy Functional Languages. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:19-34 [Conf]
  3. Tim Heyer
    Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:35-50 [Conf]
  4. Tommy Hoffner, Mariam Kamkar, Peter Fritzson
    Evaluation of Program Slicing tools. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:51-69 [Conf]
  5. Bogdan Korel
    Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:71-86 [Conf]
  6. Tibor Gyimóthy, Jukka Paakki
    Static Slicing of Logic Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:87-103 [Conf]
  7. Philip A. Smith, Geoffrey I. Webb
    Transparency Debugging with Explanations for Novice Programmers. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:105-118 [Conf]
  8. Harish Patil, Charles N. Fischer
    Efficient Run-time Monitoring Using Shadow Processing. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:119-132 [Conf]
  9. Jeffrey M. Voas
    Software Testability Measurement for Assertion Placement and Fault Localization. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:133-144 [Conf]
  10. Beat Liver
    Functional Diagnosis of Sequential Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:145-157 [Conf]
  11. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:159-174 [Conf]
  12. Gerhard Tobermann, Clemens Beckstein
    Algorithmic Debugging with RISC. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:175-190 [Conf]
  13. Takao Shimomura, Y. Oki, T. Chikaraishi, T. Ohta
    An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:191-203 [Conf]
  14. Thomas Kunz
    High-Level Views of Distributed Executions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:205-219 [Conf]
  15. Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal
    Recognition of Patterns on Control Flows for Debugging Distributed Executions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:221-232 [Conf]
  16. P. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier
    A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:233-247 [Conf]
  17. Farid Ouabdesselam, Ioannis Parissis
    Testing Techniques for Data-Flow Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:249-260 [Conf]
  18. Karen L. Bernstein, Eugene W. Stark
    Formally Defining Debuggers: A Comparison of Three Approaches. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:261-275 [Conf]
  19. Mikhail Auguston
    Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:277-291 [Conf]
  20. Mireille Ducassé
    Automated Debugging Extensions of the Opium Trace Analyser. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:293-308 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:309-310 [Conf]
  22. Dean Allemang
    Using Functional Representations for Program Debugging. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:311-312 [Conf]
  23. Peter Rüppel
    A Class Library for the Automization of Class Testing. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:313-314 [Conf]
  24. Michael Oberhuber
    Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:315-316 [Conf]
  25. Eui Hyun Paik, Young-Sik Chung, YoungJoon Byun, Wan Choi, Byung-Sun Lee
    CHD: A Cross Debugger for Concurrent CHILL Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:317-318 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002