The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "AADEBUG"( http://dblp.L3S.de/Venues/AADEBUG )

URL (DBLP): http://dblp.uni-trier.de/db/conf/aadebug

Publication years (Num. hits)
1993 (24) 1995 (26) 1997 (18) 2000 (24) 2003-2005 (23)
Publication types (Num. hits)
inproceedings(109) proceedings(6)
Venues (Conferences, Journals, ...)
AADEBUG(115)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 53 occurrences of 43 keywords

Results
Found 115 publication records. Showing 115 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jonathan E. Hazan, Richard G. Morgan The Location of Errors in Functional Programs. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Mireille Ducassé A Pragmatic Survey of Automated Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Gerhard Tobermann, Clemens Beckstein What's in a Trace: The Box Model Revisited. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Rickard Westman, Peter Fritzson Graphical User Interfaces for Algorithmic Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Frank Tip Animators for Generated Programming Environments. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Yuh-Jeng Lee, Nachum Dershowitz Debugging Logic Programs Using Specifications. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Gérard Ferrand The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Susan Horwitz Slicing Programs with Arbitrary Control-flow. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nahid Shahmehri, Mariam Kamkar, Peter Fritzson Usability Criteria for Automated Debugging Systems. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Julio García-Martín, Juan José Moreno-Navarro Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Anoop Goyal, Sriram Sankar The Application of Formal Specifications to Software Documentation and Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bogdan Korel Identifying Faulty Modifications in Software Maintenance. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes Debugging by Diagnosing Assumptions. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Visit Hirankitti, Christopher J. Hogger A Generalised Query Minimisation for Program Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #115 of 115 (100 per page; Change: )
Pages: [<<][1][2]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license