The SCEAS System
Navigation Menu

Conferences in DBLP

Automated and Algorithmic Debugging (AADEBUG) (aadebug)
1997 (conf/aadebug/97)

  1. Vijay K. Garg
    Observation and Control for Debugging Distributed Computations. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:1-12 [Conf]
  2. Richard W. M. Jones, Paul H. J. Kelly
    Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:13-26 [Conf]
  3. Kim Elms
    Debugging Optimised Code Using Function Interpretation. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:27-36 [Conf]
  4. Mikhail Auguston, Miu Har Hon
    Assertions for Dynamic Shape Analysis of List Data Structures. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:37-42 [Conf]
  5. Bogdan Korel, Juergen Rilling
    Application of Dynamic Slicing in Program Debugging. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:43-58 [Conf]
  6. Yoga Sivagurunathan, Mark Harman, Sebastian Danicic
    Slicing, I/O and the Implicit State. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:59-68 [Conf]
  7. David Byers, Magnus Engström, Mariam Kamkar
    The Design of a Test Case Definition Language. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:69-78 [Conf]
  8. Adele E. Howe, Gabriel Somlo
    Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:79-86 [Conf]
  9. Sarah Mallet, Mireille Ducassé
    DDB Trees: A Basis for Deductive Database Explanations. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:87-102 [Conf]
  10. Massimo Fabris
    Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:103-122 [Conf]
  11. Johan Boye, Wlodzimierz Drabent, Jan Maluszynski
    Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:123-140 [Conf]
  12. Gérard Ferrand, Alexandre Tessier
    Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:141-153 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:155-169 [Conf]
  14. Simon P. Booth, Simon B. Jones
    Walk Backwards to Happiness - Debugging by Time Travel. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:171-183 [Conf]
  15. Thomas R. Gross
    Bisection Debugging. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:185-191 [Conf]
  16. David Byers, Mariam Kamkar
    A Hybrid Approach to Propagation Analysis. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:193-197 [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