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
1Naveen Kumar 0002, Bruce R. Childers, Mary Lou Soffa Tdb: a source-level debugger for dynamically translated programs. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF debugging, dynamic instrumentation, dynamic binary translation
1Kevin Camera, Hayden Kwok-Hay So, Robert W. Brodersen An integrated debugging environment for reprogrammble hardware systems. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Borislav Nikolik Convergence debugging. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF convergence hypothesis, test dispersion, test diversity, testing, debugging, convergence
1Clinton Jeffery, Jong-Deok Choi, Raimondas Lencevicius (eds.) Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005 Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  BibTeX  RDF
1Bjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koen De Bosschere Backtracking and dynamic patching for free. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yoonsik Cheon, Gary T. Leavens A contextual interpretation of undefinedness for runtime assertion checking. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
1William Pugh Keynote talk: Advice to bug hunters. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bernhard Peischl, Franz Wotawa Error traces in model-based debugging of hardware description languages. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF conditional dependency, error trace, potential influence, fault localization, automated debugging, software debugging, source-level debugging
1Remko Tronçon, Gerda Janssens Analyzing & debugging ILP data mining query execution. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF monitoring, debugging, traces, inductive logic programming
1Donglin Liang, Kai Xu 0002 Debugging object-oriented programs with behavior views. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF debugging language, secenario-driven, execution monitoring
1Alex Shye, Matthew Iyer, Vijay Janapa Reddi, Daniel A. Connors Code coverage testing using hardware performance monitoring support. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software testing, code coverage, hardware performance monitoring
1Adrian Pop, Peter Fritzson Debugging natural semantics specifications. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logical functional languages, proof-trees, debugging, rule-based
1Yasushi Saito Jockey: a user-space library for record-replay debugging. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF execution record and replay, jockey, debugging, Linux, checkpointing, keywords, x86
1Alex Ho, Steven Hand On the design of a pervasive debugger. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF horizontal debugging, pervasive debugging, vertical debugging
1Steven P. Reiss Specifying and checking component usage. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, specifications, components, automata, flow analysis, finite-state
1Valentin Dallmeier, Christian Lindig, Andreas Zeller Lightweight bug localization with AMPLE. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christian Lindig Random testing of C calling conventions. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF calling convention, compiler, composition, C, consistency, random testing
1Chad D. Sterling, Ronald A. Olsson Automated bug isolation via program chipping. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bug isolation, program chipping, debugging, program slicing, data slicing
1Ian MacLarty, Zoltan Somogyi, Mark Brown Divide-and-query and subterm dependency tracking in the mercury declarative debugger. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF algorithmic debugging, divide-and-query, program slicing, declarative debugging
1Omar El-Khatib, Enrico Pontelli, Tran Cao Son Justification and debugging of answer set programs in ASP. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF small answer set programming, logic programming, justifications
1Ludovic Langevine, Mireille Ducassé A tracer driver for hybrid execution analyses. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF tracer, visualization, monitoring, debugging
1Xiangyu Zhang 0001, Haifeng He, Neelam Gupta, Rajiv Gupta 0001 Experimental evaluation of using dynamic slices for fault location. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF full slice, relevant slice, debugging, data slice
1Michiel Ronsse, Koen De Bosschere (eds.) Proceedings of the Fifth International Workshop on Automated Debugging, AADEBUG 2003, Ghent, Belgium, September 8-10, 2003 Search on Bibsonomy AADEBUG The full citation details ... 2003 DBLP  BibTeX  RDF
1Gérard Ferrand, Willy Lesaint, Alexandre Tessier Value Withdrawal Explanation in CSP. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Holger Cleve, Andreas Zeller Finding Failure Causes through Automated Testing. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin A Knowledge-based Automated Debugger in Learning System. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Robert Hood, Gabriele Jost Support for Debugging Automatically Parallelized Programs. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, Masataka Sassa Systematic Debugging of Attribute Grammars. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Raimondas Lencevicius On-the-fly query-based debugging with examples. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert A Brief Overview of the MAD Debugging Activities. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Johann Schumann Automatic Debugging Support for UML Designs. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Dale E. Parson, Bryan Schlieder, Paul Beatty Extension Language Automation of Embedded System Debugging. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Raymond Smith, Bogdan Korel Slicing Event Traces of Large Software Systems. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Mikhail Auguston Assertion checker for the C programming language based on computations over event traces. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux Execution replay and debugging. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Florence Maraninchi, Fabien Gaucher Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Mireille Ducassé (eds.) Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000 Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Srikanth Sankaran Adayapalam In Search of Yeti: Footprint Analysis with Wildebeest. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Michael Gerndt Towards automatic performance debugging tools. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Raimondas Lencevicius, Alexander Ran, Rahav Yairi Apache Web Server Execution Tracing Using Third Eye. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Ángel Herranz-Nieva, Juan José Moreno-Navarro Generation of and Debugging with Logical Pre and Post-Conditions. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski Slicing of Constraint Logic Programs. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Yasuhiro Ajiro, Kazunori Ueda Kima- An automated error correction system for concurrent logic programs. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Michiel Ronsse, Koenraad De Bosschere Non-intrusive on-the-fly data race detection using execution replay. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1David J. Murray, Dale E. Parson Automated Debugging in Java Using OCL and JDI. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Erwan Jahier Collecting Graphical Abstract Views of Mercury Program Executions. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa Model-Based Debugging of Java Programs. Search on Bibsonomy AADEBUG The full citation details ... 2000 DBLP  BibTeX  RDF
1Sarah Mallet, Mireille Ducassé DDB Trees: A Basis for Deductive Database Explanations. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1David Byers, Mariam Kamkar A Hybrid Approach to Propagation Analysis. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Simon P. Booth, Simon B. Jones Walk Backwards to Happiness - Debugging by Time Travel. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Mikhail Auguston, Miu Har Hon Assertions for Dynamic Shape Analysis of List Data Structures. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Gérard Ferrand, Alexandre Tessier Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Yoga Sivagurunathan, Mark Harman, Sebastian Danicic Slicing, I/O and the Implicit State. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Thomas R. Gross Bisection Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Johan Boye, Wlodzimierz Drabent, Jan Maluszynski Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Massimo Fabris Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Mariam Kamkar (eds.) Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997 Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Bogdan Korel, Juergen Rilling Application of Dynamic Slicing in Program Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Francisco 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. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Kim Elms Debugging Optimised Code Using Function Interpretation. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Adele E. Howe, Gabriel Somlo Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1David Byers, Magnus Engström, Mariam Kamkar The Design of a Test Case Definition Language. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Vijay K. Garg Observation and Control for Debugging Distributed Computations. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Richard W. M. Jones, Paul H. J. Kelly Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Mariam Kamkar Preface (with proceedings front matter). Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Eui Hyun Paik, Young-Sik Chung, YoungJoon Byun, Wan Choi, Byung-Sun Lee CHD: A Cross Debugger for Concurrent CHILL Programs. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Dean Allemang Using Functional Representations for Program Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal Recognition of Patterns on Control Flows for Debugging Distributed Executions. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Karen L. Bernstein, Eugene W. Stark Formally Defining Debuggers: A Comparison of Three Approaches. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Marco Comini, Giorgio Levi, Giuliana Vitiello Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Bogdan Korel Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Farid Ouabdesselam, Ioannis Parissis Testing Techniques for Data-Flow Synchronous Programs. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Jan Sparud, Henrik Nilsson The Architecture of a Debugger for Lazy Functional Languages. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Mireille Ducassé (eds.) Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995 Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Mikhail Auguston Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Tommy Hoffner, Mariam Kamkar, Peter Fritzson Evaluation of Program Slicing tools. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Mireille Ducassé Automated Debugging Extensions of the Opium Trace Analyser. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Michael Oberhuber Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Tim Heyer Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Tibor Gyimóthy, Jukka Paakki Static Slicing of Logic Programs. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Eddy Fromentin, Noël Plouzeau, Michel Raynal Replaying Distributed Executions. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Peter Rüppel A Class Library for the Automization of Class Testing. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Thomas Kunz High-Level Views of Distributed Executions. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Gerhard Tobermann, Clemens Beckstein Algorithmic Debugging with RISC. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1P. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Jeffrey M. Voas Software Testability Measurement for Assertion Placement and Fault Localization. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Mikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad AUI - the Debugger and Assertion Checker for the Awk Programming Language. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Takao Shimomura, Y. Oki, T. Chikaraishi, T. Ohta An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Harish Patil, Charles N. Fischer Efficient Run-time Monitoring Using Shadow Processing. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Beat Liver Functional Diagnosis of Sequential Programs. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Philip A. Smith, Geoffrey I. Webb Transparency Debugging with Explanations for Novice Programmers. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
1Sridhar Alager, S. Venkatsean Hierarchy in Testing Distributed programs. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Steven P. Reiss Trace-Based Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jingde Cheng Slicing Concurrent Programs - A Graph-Theoretical Approach. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Henrik Nilsson, Peter Fritzson Lazy Algorithmic Debugging: Ideas for Practical Implementation. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Luca Console, Gerhard Friedrich, Daniele Theseider Dupré Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Markus P. J. Fromherz Towards Declarative Debugging of Concurrent Constraint Programs. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Peter Fritszon (eds.) Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Rudi Lutz Towards a Plan Calculus Based Intelligent Debugging System. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Dominic Frank Julian Binks Declarative Debugging of Abstract Data Types in Gödel. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 115 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license