Search results for "debugging"

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