International Workshop on Automated Debugging - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 115

2005

An integrated debugging environment for reprogrammble hardware systemsKevin Camera, Hayden Kwok-Hay So, Robert W. Brodersen. AADEBUG 2005: 111-116 [doi]

A contextual interpretation of undefinedness for runtime assertion checkingYoonsik Cheon, Gary T. Leavens. AADEBUG 2005: 149-158 [doi]

Lightweight bug localization with AMPLEValentin Dallmeier, Christian Lindig, Andreas Zeller. AADEBUG 2005: 99-104 [doi]

Justification and debugging of answer set programs in ASPOmar El-Khatib, Enrico Pontelli, Tran Cao Son. AADEBUG 2005: 49-58 [doi]

On the design of a pervasive debuggerAlex Ho, Steven Hand. AADEBUG 2005: 117-122 [doi]

Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005Clinton Jeffery, Jong-Deok Choi, Raimondas Lencevicius, editors, ACM, 2005.

Tdb: a source-level debugger for dynamically translated programsNaveen Kumar, Bruce R. Childers, Mary Lou Soffa. AADEBUG 2005: 123-132 [doi]

A tracer driver for hybrid execution analysesLudovic Langevine, Mireille Ducassé. AADEBUG 2005: 143-148 [doi]

Debugging object-oriented programs with behavior viewsDonglin Liang, Kai Xu 0002. AADEBUG 2005: 133-142 [doi]

Random testing of C calling conventionsChristian Lindig. AADEBUG 2005: 3-12 [doi]

Divide-and-query and subterm dependency tracking in the mercury declarative debuggerIan MacLarty, Zoltan Somogyi, Mark Brown. AADEBUG 2005: 59-68 [doi]

Convergence debuggingBorislav Nikolik. AADEBUG 2005: 89-98 [doi]

Error traces in model-based debugging of hardware description languagesBernhard Peischl, Franz Wotawa. AADEBUG 2005: 43-48 [doi]

Debugging natural semantics specificationsAdrian Pop, Peter Fritzson. AADEBUG 2005: 77-82 [doi]

Keynote talk: Advice to bug huntersWilliam Pugh. AADEBUG 2005: 1-2 [doi]

Specifying and checking component usageSteven P. Reiss. AADEBUG 2005: 13-22 [doi]

Jockey: a user-space library for record-replay debuggingYasushi Saito. AADEBUG 2005: 69-76 [doi]

Code coverage testing using hardware performance monitoring supportAlex Shye, Matthew Iyer, Vijay Janapa Reddi, Daniel A. Connors. AADEBUG 2005: 159-163 [doi]

Automated bug isolation via program chippingChad D. Sterling, Ronald A. Olsson. AADEBUG 2005: 23-32 [doi]

Backtracking and dynamic patching for freeBjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koen De Bosschere. AADEBUG 2005: 83-88 [doi]

Analyzing & debugging ILP data mining query executionRemko Tronçon, Gerda Janssens. AADEBUG 2005: 105-110 [doi]

Experimental evaluation of using dynamic slices for fault locationXiangyu Zhang, Haifeng He, Neelam Gupta, Rajiv Gupta. AADEBUG 2005: 33-42 [doi]

2000

Kima- An automated error correction system for concurrent logic programsYasuhiro Ajiro, Kazunori Ueda. AADEBUG 2000: [doi]

Assertion checker for the C programming language based on computations over event tracesMikhail Auguston. AADEBUG 2000: [doi]

Finding Failure Causes through Automated TestingHolger Cleve, Andreas Zeller. AADEBUG 2000: [doi]

Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000Mireille Ducassé, editor, 2000.

Value Withdrawal Explanation in CSPGérard Ferrand, Willy Lesaint, Alexandre Tessier. AADEBUG 2000: [doi]

Towards automatic performance debugging toolsMichael Gerndt. AADEBUG 2000:

Support for Debugging Automatically Parallelized ProgramsRobert Hood, Gabriele Jost. AADEBUG 2000: [doi]

Systematic Debugging of Attribute GrammarsYohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, Masataka Sassa. AADEBUG 2000: [doi]

Collecting Graphical Abstract Views of Mercury Program ExecutionsErwan Jahier. AADEBUG 2000: [doi]

A Brief Overview of the MAD Debugging ActivitiesDieter Kranzlmüller, Christian Schaubschläger, Jens Volkert. AADEBUG 2000: [doi]

Apache Web Server Execution Tracing Using Third EyeRaimondas Lencevicius, Alexander Ran, Rahav Yairi. AADEBUG 2000: [doi]

On-the-fly query-based debugging with examplesRaimondas Lencevicius. AADEBUG 2000: [doi]

Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for LustreFlorence Maraninchi, Fabien Gaucher. AADEBUG 2000:

Model-Based Debugging of Java ProgramsCristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa. AADEBUG 2000: [doi]

Automated Debugging in Java Using OCL and JDIDavid J. Murray, Dale E. Parson. AADEBUG 2000: [doi]

Extension Language Automation of Embedded System DebuggingDale E. Parson, Bryan Schlieder, Paul Beatty. AADEBUG 2000: [doi]

Execution replay and debuggingMichiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux. AADEBUG 2000: [doi]

Non-intrusive on-the-fly data race detection using execution replayMichiel Ronsse, Koenraad De Bosschere. AADEBUG 2000: [doi]

Automatic Debugging Support for UML DesignsJohann Schumann. AADEBUG 2000: [doi]

Slicing Event Traces of Large Software SystemsRaymond Smith, Bogdan Korel. AADEBUG 2000: [doi]

Slicing of Constraint Logic ProgramsGyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski. AADEBUG 2000: [doi]

A Knowledge-based Automated Debugger in Learning SystemAbdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin. AADEBUG 2000: [doi]

Generation of and Debugging with Logical Pre and Post-ConditionsÁngel Herranz-Nieva, Juan José Moreno-Navarro. AADEBUG 2000: [doi]

1997

AADEBUG1997.

Assertions for Dynamic Shape Analysis of List Data StructuresMikhail Auguston, Miu Har Hon. AADEBUG 1997: 37-42 [doi]

Walk Backwards to Happiness - Debugging by Time TravelSimon P. Booth, Simon B. Jones. AADEBUG 1997: 171-183 [doi]

Declarative Diagnosis of Contraint Programs: An Assertion-Based ApproachJohan Boye, Wlodzimierz Drabent, Jan Maluszynski. AADEBUG 1997: 123-140 [doi]

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic ProgramsFrancisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla. AADEBUG 1997: 155-169 [doi]

A Hybrid Approach to Propagation AnalysisDavid Byers, Mariam Kamkar. AADEBUG 1997: 193-197 [doi]

The Design of a Test Case Definition LanguageDavid Byers, Magnus Engström, Mariam Kamkar. AADEBUG 1997: 69-78 [doi]

Debugging Optimised Code Using Function InterpretationKim Elms. AADEBUG 1997: 27-36 [doi]

Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit ProgramMassimo Fabris. AADEBUG 1997: 103-122 [doi]

Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof SkeletonsGérard Ferrand, Alexandre Tessier. AADEBUG 1997: 141-153 [doi]

Observation and Control for Debugging Distributed ComputationsVijay K. Garg. AADEBUG 1997: 1-12 [doi]

Bisection DebuggingThomas R. Gross. AADEBUG 1997: 185-191 [doi]

Modeling Intelligent System Execution as State Transition Diagrams to Support DebuggingAdele E. Howe, Gabriel Somlo. AADEBUG 1997: 79-86 [doi]

Backwards-Compatible Bounds Checking for Arrays and Pointers in C ProgramsRichard W. M. Jones, Paul H. J. Kelly. AADEBUG 1997: 13-26 [doi]

Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997Mariam Kamkar, editor, Volume 2 of Linköping Electronic Articles in Computer and Information Science, Linköping University Electronic Press, 1997. [doi]

Preface (with proceedings front matter)Mariam Kamkar. AADEBUG 1997: [doi]

Application of Dynamic Slicing in Program DebuggingBogdan Korel, Juergen Rilling. AADEBUG 1997: 43-58 [doi]

DDB Trees: A Basis for Deductive Database ExplanationsSarah Mallet, Mireille Ducassé. AADEBUG 1997: 87-102 [doi]

Slicing, I/O and the Implicit StateYoga Sivagurunathan, Mark Harman, Sebastian Danicic. AADEBUG 1997: 59-68 [doi]

1995

AADEBUG1995.

Using Functional Representations for Program DebuggingDean Allemang. AADEBUG 1995: 311-312

Program Behavior Model Based on Event Grammar and its Application for Debugging AutomationMikhail Auguston. AADEBUG 1995: 277-291

AUI - the Debugger and Assertion Checker for the Awk Programming LanguageMikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad. AADEBUG 1995: 309-310

Formally Defining Debuggers: A Comparison of Three ApproachesKaren L. Bernstein, Eugene W. Stark. AADEBUG 1995: 261-275

Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic ProgramsMarco Comini, Giorgio Levi, Giuliana Vitiello. AADEBUG 1995: 159-174

Automated Debugging Extensions of the Opium Trace AnalyserMireille Ducassé. AADEBUG 1995: 293-308

Proceedings of the Second International Workshop on Automated Debugging, AADEBUG 1995, Saint Malo, France, May 22-24, 1995Mireille Ducassé, editor, IRISA-CNRS, 1995.

Replaying Distributed ExecutionsEddy Fromentin, Noël Plouzeau, Michel Raynal. AADEBUG 1995: 1-18

Recognition of Patterns on Control Flows for Debugging Distributed ExecutionsEddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal. AADEBUG 1995: 221-232

Static Slicing of Logic ProgramsTibor Gyimóthy, Jukka Paakki. AADEBUG 1995: 87-103

Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function CallsTim Heyer. AADEBUG 1995: 35-50

Evaluation of Program Slicing toolsTommy Hoffner, Mariam Kamkar, Peter Fritzson. AADEBUG 1995: 51-69

Computation Of Dynamic Slices For Programs With Arbitrary Control-FlowBogdan Korel. AADEBUG 1995: 71-86

High-Level Views of Distributed ExecutionsThomas Kunz. AADEBUG 1995: 205-219

Functional Diagnosis of Sequential ProgramsBeat Liver. AADEBUG 1995: 145-157

Elimination of Nondeterminacy for Testing and Debugging Parallel ProgramsMichael Oberhuber. AADEBUG 1995: 315-316

Testing Techniques for Data-Flow Synchronous ProgramsFarid Ouabdesselam, Ioannis Parissis. AADEBUG 1995: 249-260

CHD: A Cross Debugger for Concurrent CHILL ProgramsEui Hyun Paik, Young-Sik Chung, YoungJoon Byun, Wan Choi, Byung Sun Lee. AADEBUG 1995: 317-318

Efficient Run-time Monitoring Using Shadow ProcessingHarish Patil, Charles N. Fischer. AADEBUG 1995: 119-132

A Consistent Global State Algorithm to Debug Distributed Object-Oriented ApplicationsP. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier. AADEBUG 1995: 233-247

A Class Library for the Automization of Class TestingPeter Rüppel. AADEBUG 1995: 313-314

An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FINDTakao Shimomura, Y. Oki, T. Chikaraishi, T. Ohta. AADEBUG 1995: 191-203

Transparency Debugging with Explanations for Novice ProgrammersPhilip A. Smith, Geoffrey I. Webb. AADEBUG 1995: 105-118

The Architecture of a Debugger for Lazy Functional LanguagesJan Sparud, Henrik Nilsson. AADEBUG 1995: 19-34

Algorithmic Debugging with RISCGerhard Tobermann, Clemens Beckstein. AADEBUG 1995: 175-190

Software Testability Measurement for Assertion Placement and Fault LocalizationJeffrey M. Voas. AADEBUG 1995: 133-144

1993

Slicing Programs with Arbitrary Control-flowThomas Ball, Susan Horwitz. AADEBUG 1993: 206-222

Declarative Debugging of Abstract Data Types in GödelDominic Binks. AADEBUG 1993: 188-205

Automated and Algorithmic Debugging, First International Workshop, AADEBUG 93, Linköping, Sweden, May 3-5, 1993, ProceedingsPeter Fritszon, editor, Volume 749 of Lecture Notes in Computer Science, Springer, 1993.

Towards Declarative Debugging of Concurrent Constraint ProgramsMarkus P. J. Fromherz. AADEBUG 1993: 88-100

The Location of Errors in Functional ProgramsJonathan E. Hazan, Richard G. Morgan. AADEBUG 1993: 135-152

Towards a Plan Calculus Based Intelligent Debugging SystemRudi Lutz. AADEBUG 1993: 287-304

Lazy Algorithmic Debugging: Ideas for Practical ImplementationHenrik Nilsson, Peter Fritzson. AADEBUG 1993: 117-134

Trace-Based DebuggingSteven P. Reiss. AADEBUG 1993: 305-314

Usability Criteria for Automated Debugging SystemsNahid Shahmehri, Mariam Kamkar, Peter Fritzson. AADEBUG 1993: 16-39

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

International Workshop on Automated Debugging (AADEBUG)

Viewing Publication 1 - 100 from 115

2005

2000

1997

1995

1993

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

International Workshop on Automated Debugging (AADEBUG)

Viewing Publication 1 - 100 from 115

2005

2000

1997

1995

1993

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1