Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Nima Honarmand, Josep Torrellas |
Replay debugging: Leveraging record and replay for program debugging. |
ISCA |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Kostyantyn M. Shchekotykhin, Gerhard Friedrich, Patrick Rodler, Philipp Fleiss |
Interactive Ontology Debugging using Direct Diagnosis. |
WoDOOM |
2014 |
DBLP BibTeX RDF |
|
21 | Zlatan Dragisic, Patrick Lambrix, Fang Wei-Kleiner |
A System for Debugging Missing Is-a Structure in EL Ontologies. |
WoDOOM |
2014 |
DBLP BibTeX RDF |
|
21 | Lucas Layman, Madeline Diep, Meiyappan Nagappan, Janice Singer, Robert DeLine, Gina Venolia |
Debugging Revisited: Toward Understanding the Debugging Needs of Contemporary Software Developers. |
ESEM |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Haihan Yin |
Defusing the debugging scandal - dedicated debugging technologies for advanced dispatching languages. |
|
2013 |
RDF |
|
21 | Heiner Stuckenschmidt |
Debugging weighted ontologies. |
WoDOOM |
2013 |
DBLP BibTeX RDF |
|
21 | Kai Yu 0013, Mengxiang Lin, Jin Chen, Xiangyu Zhang |
Towards automated debugging in software evolution: Evaluating delta debugging on real regression bugs from the developers' perspectives. |
J. Syst. Softw. |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Valentina Ivanova, Patrick Lambrix |
A System for Debugging Taxonomies and their Alignments. |
WoDOOM@EKAW |
2012 |
DBLP BibTeX RDF |
|
21 | Valentina Ivanova, Jonas Laurila Bergman, Ulf Hammerling, Patrick Lambrix |
Debugging Taxonomies and their Alignments: the ToxOntology - MeSH Use Case. |
WoDOOM@EKAW |
2012 |
DBLP BibTeX RDF |
|
21 | Kinsun Tam |
Debugging Debugging. |
COMPSAC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi |
Java replay for dependence-based debugging. |
PADTAD |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Todd Kulesza, Simone Stumpf, Margaret M. Burnett, Weng-Keen Wong, Yann Riche, Travis Moore, Ian Oberst, Amber Shinsel, Kevin McIntosh |
Explanatory Debugging: Supporting End-User Debugging of Machine-Learned Programs. |
VL/HCC |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Elwakil, Zijiang Yang 0006 |
Debugging support tool for MCAPI applications. |
PDATAD |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Josep Silva |
Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging. |
AI Commun. |
2008 |
DBLP BibTeX RDF |
|
21 | Jin-Gu Kang, Seungwon Yang, Jong-Yeol Lee |
Debugging of assembly library functions without target debugging tools. |
ACSAC |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jin-Gu Kang, Won-Yong Yang, Jong-Yeol Lee |
Debugging of Target Assembly Library Codes Using Host Debugging Tool. |
ESA |
2008 |
DBLP BibTeX RDF |
|
21 | Wolfgang Mayer, Markus Stumptner |
Model-Based Debugging - State of the Art And Future Challenges. |
V&D@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | John Moondanos |
From Error to Error: Logic Debugging in the Many-Core Era. |
V&D@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Kevin Camera, Hayden Kwok-Hay So, Robert W. Brodersen |
An integrated debugging environment for reprogrammble hardware systems. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa |
Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
21 | Frédéric Goualard, Frédéric Benhamou |
Debugging Constraint Programs by Store Inspection. |
Analysis and Visualization Tools for Constraint Programming |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
A Generic Processor for Program Validation and Debugging. |
Analysis and Visualization Tools for Constraint Programming |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Claude Laï |
Assertions with Constraints for CLP Debugging. |
Analysis and Visualization Tools for Constraint Programming |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski |
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. |
Analysis and Visualization Tools for Constraint Programming |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Robert Hood, Gabriele Jost |
Support for Debugging Automatically Parallelized Programs. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, Masataka Sassa |
Systematic Debugging of Attribute Grammars. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Raimondas Lencevicius |
On-the-fly query-based debugging with examples. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert |
A Brief Overview of the MAD Debugging Activities. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Johann Schumann |
Automatic Debugging Support for UML Designs. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Dale E. Parson, Bryan Schlieder, Paul Beatty |
Extension Language Automation of Embedded System Debugging. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Michiel Ronsse, Koenraad De Bosschere, Jacques Chassin de Kergommeaux |
Execution replay and debugging. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Florence Maraninchi, Fabien Gaucher |
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Michael Gerndt |
Towards automatic performance debugging tools. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Ángel Herranz-Nieva, Juan José Moreno-Navarro |
Generation of and Debugging with Logical Pre and Post-Conditions. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | David J. Murray, Dale E. Parson |
Automated Debugging in Java Using OCL and JDI. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa |
Model-Based Debugging of Java Programs. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
21 | Giwon On, Bum-Sik Lee, Chul-Eui Hong, Dong-Hae Chi |
A Scheme for Building Visual Debugging Environment with Dynamic Debugging Method for Parallel Systems. |
PaCT |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Simon P. Booth, Simon B. Jones |
Walk Backwards to Happiness - Debugging by Time Travel. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
21 | Thomas R. Gross |
Bisection Debugging. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
21 | Massimo Fabris |
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
21 | Bogdan Korel, Juergen Rilling |
Application of Dynamic Slicing in Program Debugging. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
21 | Kim Elms |
Debugging Optimised Code Using Function Interpretation. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
21 | Adele E. Howe, Gabriel Somlo |
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
21 | Vijay K. Garg |
Observation and Control for Debugging Distributed Computations. |
AADEBUG |
1997 |
DBLP BibTeX RDF |
|
21 | Dean Allemang |
Using Functional Representations for Program Debugging. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
21 | Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal |
Recognition of Patterns on Control Flows for Debugging Distributed Executions. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
21 | Marco Comini, Giorgio Levi, Giuliana Vitiello |
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
21 | Mikhail Auguston |
Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
21 | Mireille Ducassé |
Automated Debugging Extensions of the Opium Trace Analyser. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
21 | Michael Oberhuber |
Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
21 | Tim Heyer |
Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
21 | Gerhard Tobermann, Clemens Beckstein |
Algorithmic Debugging with RISC. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
21 | Philip A. Smith, Geoffrey I. Webb |
Transparency Debugging with Explanations for Novice Programmers. |
AADEBUG |
1995 |
DBLP BibTeX RDF |
|
21 | Steven P. Reiss |
Trace-Based Debugging. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Henrik Nilsson, Peter Fritzson |
Lazy Algorithmic Debugging: Ideas for Practical Implementation. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Markus P. J. Fromherz |
Towards Declarative Debugging of Concurrent Constraint Programs. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Rudi Lutz |
Towards a Plan Calculus Based Intelligent Debugging System. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Dominic Frank Julian Binks |
Declarative Debugging of Abstract Data Types in Gödel. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Mireille Ducassé |
A Pragmatic Survey of Automated Debugging. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Rickard Westman, Peter Fritzson |
Graphical User Interfaces for Algorithmic Debugging. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Yuh-Jeng Lee, Nachum Dershowitz |
Debugging Logic Programs Using Specifications. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Nahid Shahmehri, Mariam Kamkar, Peter Fritzson |
Usability Criteria for Automated Debugging Systems. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Anoop Goyal, Sriram Sankar |
The Application of Formal Specifications to Software Documentation and Debugging. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski |
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes |
Debugging by Diagnosing Assumptions. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Visit Hirankitti, Christopher J. Hogger |
A Generalised Query Minimisation for Program Debugging. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Mireille Ducassé, Anna-Maria Emde |
OPIUM: a debugging environment for Prolog development and debugging research. |
ACM SIGSOFT Softw. Eng. Notes |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Mireille Ducassé, Anna-Maria Emde |
OPIUM: a debugging environment for Prolog development and debugging research. |
ACM SIGSOFT Softw. Eng. Notes |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Jonice Cynthia Weber |
Interactive debugging of concurrent programs. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Thomas R. Gross |
Distributed debugging: session summary. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Jeanne Ferrante |
High level language debugging with a compiler. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Peter C. Bates, Jack C. Wileden |
An approach to high-level debugging of distributed systems: preliminary draft. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Wayne C. Gramlich |
Debugging methodology: session summary. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Ron Tischler, Robin Schaufler, Charlotte Payne |
Static analysis of programs as an aid to debugging. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Karl J. Ottenstein, Linda M. Ottenstein |
High-level debugging assistance via optimizing compiler technology. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Monika Müllerburg |
The role of debugging within software engineering environments. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout, Pamela Zave |
Knowledge-based debugging: session summary. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Lori A. Clarke, Debra J. Richardson |
The application of error-sensitive testing strategies to debugging. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Michael L. Powell, Mark A. Linton |
A database model of debugging. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Charles R. Hill |
A real-time microprocessor debugging technique. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | James R. Cardell |
Multilingual debugging with the SWAT high-level debugger. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Bernd Bruegge, Peter G. Hibbard |
Generalized path expressions: a high level debugging mechanism. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | W. Morven Gentleman, Henry Hoeksma |
Hardware assisted high level debugging: preliminary draft. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Peter Bates |
Requirements/design debugging: session summary. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Peter Fritzson |
A systematic approach to advanced debugging: incremental compilation. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson |
Knowledge-based fault localization in debugging: preliminary draft. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
21 | Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birke, Uwe Baumgarten |
Model-Level Debugging of Embedded Real-Time Systems. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
simulation, real time systems, embedded systems, code generation, model-driven development, software debugging |
21 | Rui Peng, Q. P. Hu, Szu Hui Ng, Min Xie 0001 |
Testing Effort Dependent Software FDP and FCP Models with Consideration of Imperfect Debugging. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
Imperfect debugging, software reliability, testing effort |
21 | Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer |
Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
error injection, error propagation analysis, debugging, slicing |
21 | Naveen Kumar 0002, Bruce R. Childers, Mary Lou Soffa |
Transparent Debugging of Dynamically Optimized Code. |
CGO |
2009 |
DBLP DOI BibTeX RDF |
software dynamic translation, debugging, Dynamic optimization, binary translation |
21 | Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid |
A Case for Automated Debugging Using Data Structure Repair. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Juzi, Korat, Debugging, Data structure repair |
21 | Manuel Wimmer, Gerti Kappel, Johannes Schönböck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger |
A Petri Net Based Debugging Environment for QVT Relations. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
QVT Relations, Debugging, Model Transformations |
21 | Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen |
dIP: A Non-intrusive Debugging IP for Dynamic Data Race Detection in Many-Core. |
ISPAN |
2009 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, debugging, Multi-core, Heterogeneous (hybrid) systems |
21 | João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha |
Understanding the behavior of transactional memory applications. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
visualization, testing, concurrency, monitoring, debugging, profiling, software transactional memory |
21 | Gang Kou, Yi Peng 0001 |
A Standard Process for Data Mining Based Software Debugging. |
NCM (2) |
2008 |
DBLP DOI BibTeX RDF |
process and framework, data mining, software testing, debugging |
21 | Ali Jannesari, Walter F. Tichy |
On-the-fly race detection in multi-threaded programs. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
lockset, parallel programs, debugging, dynamic analysis, race conditions, race detection, multi-threaded programming, happens-before |
21 | Marina Polishchuk, Ben Liblit, Chloë W. Schulze |
Dynamic heap type inference for program understanding and debugging. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection |
21 | João Lourenço, Gonçalo Cunha |
Testing patterns for software transactional memory engines. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
testing, concurrency, debugging, software transactional memory, testing patterns |
21 | Patrick Reynolds, Janet L. Wiener, Jeffrey C. Mogul, Marcos Kawazoe Aguilera, Amin Vahdat |
WAP5: black-box performance debugging for wide-area systems. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
black box systems, distributed systems, performance analysis, performance debugging |
21 | Robin Abraham, Martin Erwig |
Goal-Directed Debugging of Spreadsheets. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
Static Analysis, Debugging, Spreadsheet, End-User Software Engineering |