Search results for "debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Brian Keng, Andreas G. Veneris	Scaling VLSI design debugging with interpolation.	FMCAD	2009	DBLP DOI BibTeX RDF
34	Valeria Bertacco	Debugging strategies for mere mortals.	DAC	2009	DBLP DOI BibTeX RDF	validation, error correction, design verification, error diagnosis
34	Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet	Declarative Debugging of Rewriting Logic Specifications.	WADT	2008	DBLP DOI BibTeX RDF
34	Liang-Bi Chen, Yung-Chih Liu, Chen-Hung Chen, Chung-Fu Kao, Ing-Jer Huang	Parameterized embedded in-circuit emulator and its retargetable debugging software for microprocessor/microcontroller/DSP processor.	ASP-DAC	2008	DBLP DOI BibTeX RDF
34	Brian Keng, Hratch Mangassarian, Andreas G. Veneris	A succinct memory model for automated design debugging.	ICCAD	2008	DBLP DOI BibTeX RDF
34	Christian Meilicke, Johanna Völker, Heiner Stuckenschmidt	Learning Disjointness for Debugging Mappings between Lightweight Ontologies.	EKAW	2008	DBLP DOI BibTeX RDF
34	Sai Zhang 0001, Zhongxian Gu, Yu Lin, Jianjun Zhao 0001	AutoFlow: An automatic debugging tool for AspectJ software.	ICSM	2008	DBLP DOI BibTeX RDF
34	Benjamin D. Rister, Jason Campbell, Padmanabhan Pillai, Todd C. Mowry	Integrated Debugging of Large Modular Robot Ensembles.	ICRA	2007	DBLP DOI BibTeX RDF
34	Róbert Lovas, Péter Kacsuk	Correctness Debugging of Message Passing Programs Using Model Verification Techniques.	PVM/MPI	2007	DBLP DOI BibTeX RDF
34	Norio Sato, Keisuke Kosuga	Session-aware debugging features for web applications using Ruby and Python frameworks.	DOSTA	2007	DBLP DOI BibTeX RDF
34	Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan Zhang 0001	Automated Security Debugging Using Program Structural Constraints.	ACSAC	2007	DBLP DOI BibTeX RDF
34	Juan A. Botía, Juan Manuel Hernansaez, Antonio Fernandez Gómez-Skarmeta	On the Application of Clustering Techniques to Support Debugging Large-Scale Multi-Agent Systems.	PROMAS	2006	DBLP DOI BibTeX RDF
34	Wei Wang 0076, Binxing Fang	Grid Service Based Parallel Debugging Environment.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
34	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	Estimating likelihood of correctness for error candidates to assist debugging faulty HDL designs.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
34	Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Rolf Drechsler, Alexander Smith 0001	Debugging Sequential Circuits Using Boolean Satisfiability.	MTV	2004	DBLP DOI BibTeX RDF
34	Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith 0001, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir	Debugging sequential circuits using Boolean satisfiability.	ICCAD	2004	DBLP DOI BibTeX RDF
34	Roman Bednarik, Markku Tukiainen	Visual attention tracking during program debugging.	NordiCHI	2004	DBLP DOI BibTeX RDF	visual attention, psychology of programming, eye-movement tracking
34	Denise Stringhini	Parallel program debugging: interface design and implementation.	CCGRID	2004	DBLP DOI BibTeX RDF
34	Joseph R. Ruthruff, Amit Phalgune, Laura Beckwith, Margaret M. Burnett, Curtis R. Cook	Rewarding "Good" Behavior: End-User Debugging and Rewards.	VL/HCC	2004	DBLP DOI BibTeX RDF
34	Dieter Kranzlmüller, Axel Rimnac	Parallel Program Debugging with MAD - A Practical Approach.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
34	Ludovic Langevine, Pierre Deransart, Mireille Ducassé	A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.	CSCLP	2003	DBLP DOI BibTeX RDF
34	Nam Thoai, Dieter Kranzlmüller, Jens Volkert	ROS: The Rollback-One-Step Method to Minimize the Waiting Time during Debugging Long-Running Parallel Programs.	VECPAR	2002	DBLP DOI BibTeX RDF
34	Tsuyoshi Ohta, Hideto Kinoshita, Takahiro Kimata, Tadanori Mizuno	A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs.	ICOIN	2001	DBLP DOI BibTeX RDF
34	François Bourdoncle	Abstract Debugging of Higher-Order Imperative Languages.	PLDI	1993	DBLP DOI BibTeX RDF	Pascal
34	Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee	Semantic issues in the design of languages for debugging.	ICCL	1992	DBLP DOI BibTeX RDF
33	Giovani Gracioli, Sebastian Fischmeister	Tracing interrupts in embedded software.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, debugging, tracing, embedded software
33	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia	Declarative Diagnosis of Temporal Concurrent Constraint Programs.	ICLP	2007	DBLP DOI BibTeX RDF	timed concurrent constraint programs, (modular) declarative debugging, denotational semantics, specification logic
33	Brett Carson, Ian A. Mason	ClusterGrind: Valgrinding LAM/MPI Applications.	PVM/MPI	2005	DBLP DOI BibTeX RDF	passing, debugging, profiling, message, reporting
33	Hoon-Joon Kouh, Sun-Moon Jo, Weon-Hee Yoo	Design of HDTS System for Locating Logical Errors in Java Programs.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF	HDTS, Logical Errors, Java, Debugging
33	Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001	Locating faulty code using failure-inducing chops.	ASE	2005	DBLP DOI BibTeX RDF	backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging
33	Jeffrey M. Voas, Keith W. Miller 0001	One in a Baker's Dozen: Debugging Debugging.	HASE	2007	DBLP DOI BibTeX RDF
32	Cheng Zhang, Dacong Yan, Jianjun Zhao 0001, Yuting Chen, Shengqian Yang	BPGen: an automated breakpoint generator for debugging.	ICSE (2)	2010	DBLP DOI BibTeX RDF	debugging, breakpoint
32	Cristian Zamfir, George Candea	Execution synthesis: a technique for automated software debugging.	EuroSys	2010	DBLP DOI BibTeX RDF	symbolic execution, automated debugging
32	Brandon Lucia, Luis Ceze, Karin Strauss	ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations.	ISCA	2010	DBLP DOI BibTeX RDF	bug avoidance, concurrency errors, data coloring, multi-variable, debugging, atomicity violations
32	Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani	Darwin: an approach for debugging evolving programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	debugging, software evolution, symbolic execution
32	Rafael del Vado Vírseda	A higher-order logical framework for the algorithmic debugging and verification of declarative programs.	PPDP	2009	DBLP DOI BibTeX RDF	algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
32	Wouter De Borger, Bert Lagaisse, Wouter Joosen	A generic and reflective debugging architecture to support runtime visibility and traceability of aspects.	AOSD	2009	DBLP DOI BibTeX RDF	aop, debugging architecture, traceability, visibility
32	Martin Dimitrov, Huiyang Zhou	Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging.	ASPLOS	2009	DBLP DOI BibTeX RDF	automated debugging, architectural support
32	Michael Siegel, Adriana Maggiore, Christian Pichler	Untwist your brain: efficient debugging and diagnosis of complex assertions.	DAC	2009	DBLP DOI BibTeX RDF	SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis
32	Yung-Pin Cheng, Jih-Feng Chen, Ming-Chieh Chiu, Nien-Wei Lai, Chien-Chih Tseng	xDIVA: a debugging visualization system with composable visualization metaphors.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	composable visualization metaphors, debugging visualization, program visualization
32	Liang Guo, Abhik Roychoudhury	Debugging Statecharts Via Model-Code Traceability.	ISoLA	2008	DBLP DOI BibTeX RDF	Debugging, Traceability, Statecharts, Slicing
32	Laurie Murphy, Gary Lewandowski, Renée McCauley, Beth Simon, Lynda Thomas, Carol Zander	Debugging: the good, the bad, and the quirky -- a qualitative analysis of novices' strategies.	SIGCSE	2008	DBLP DOI BibTeX RDF	debugging, pedagogy, strategies, novice programming
32	Christian Murphy, Eunhee Kim, Gail E. Kaiser, Adam Cannon	Backstop: a tool for debugging runtime errors.	SIGCSE	2008	DBLP DOI BibTeX RDF	debugging, exception handling
32	Ben Liblit	Cooperative debugging with five hundred million test cases.	ISSTA	2008	DBLP DOI BibTeX RDF	cooperative bug isolation, statistical debugging
32	Amy J. Ko, Brad A. Myers	Source-level debugging with the whyline.	CHASE	2008	DBLP DOI BibTeX RDF	whyline, visualization, debugging
32	Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss	The design and implementation of a dataflow language for scriptable debugging.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Script automation, Dataflow dsl scheme, Java, Debugging
32	Beth Simon, Sue Fitzgerald, Renée McCauley, Susan M. Haller, John Hamer, Brian Hanks, Michael T. Helmick, Jan Erik Moström, Judy Sheard, Lynda Thomas	Debugging assistance for novices: a video repository.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	Java, web 2.0, debugging, video, CS1, introductory programming, novice programmers
32	Stefan Schlobach, Zhisheng Huang, Ronald Cornet, Frank van Harmelen	Debugging Incoherent Terminologies.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Debugging, Diagnosis, Description logics
32	Dolev Dotan, Andrei Kirshin	Debugging and testing behavioral UML models.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	UML, software development, debugging, profiles, state machines, activities
32	Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit	Statistical debugging using compound boolean predicates.	ISSTA	2007	DBLP DOI BibTeX RDF	debugging effort metrics, dynamic feedback analysis, statistical bug isolation, three-valued logic
32	Jimmy Su, Katherine A. Yelick	Automatic Communication Performance Debugging in PGAS Languages.	LCPC	2007	DBLP DOI BibTeX RDF	PGAS languages, automatic performance debugging
32	Jianwan Ding, Liping Chen, Fanli Zhou	A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	structural inconsistency, component-based debugging, simulation, declarative model, Modelica
32	Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu	Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	system development tools, automatic debugging, counting SAT problem, Real-time system, formal methods, timing constraint, incremental computation
32	Samarjit Chakraborty	Flexible modelling and performance debugging of real-time embedded multimedia systems.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	performance analysis, debugging, multimedia systems
32	Tami Lapidot, Orit Hazzan	Song debugging: merging content and pedagogy in computer science education.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	debugging, computer science education, music, teacher education
32	Joseph R. Ruthruff, Margaret M. Burnett	Six challenges in supporting end-user debugging.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	debugging, end-user programming, fault localization, end-user software engineering
32	Nathaniel Duca, Krzysztof Niski, Jonathan Bilodeau, Matthew Bolitho, Yuan Chen, Jonathan D. Cohen 0001	A relational debugging engine for the graphics pipeline.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	visualization, debugging, SQL, streaming, graphics hardware, SIMD, relational algebra, graphics pipeline
32	Ruo Ando, Yoshiyasu Takefuji	Self Debugging Mode for Patch-Independent Nullification of Unknown Remote Process Infection.	CANS	2005	DBLP DOI BibTeX RDF	self-debugging mode, real-time nullification, debug register, improved debug exception handler, branchIP recorder
32	Xiangyu Zhang 0001, Haifeng He, Neelam Gupta, Rajiv Gupta 0001	Experimental evaluation of using dynamic slices for fault location.	AADEBUG	2005	DBLP DOI BibTeX RDF	full slice, relevant slice, debugging, data slice
32	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	incremental slicing, debugging, program comprehension, program slicing, Data dependences, pointers, data-flow testing
32	Wolfgang Mayer, Markus Stumptner	Model-Based Debugging with High-Level Observations.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	Software engineering and AI, Debugging, Diagnosis, Model-based reasoning
32	Jan Christiansen, Frank Huch	Searching for deadlocks while debugging concurrent haskell programs.	ICFP	2004	DBLP DOI BibTeX RDF	concurrent haskell, detecting deadlocks, debugging, deadlock
32	Jim Etheredge	CMeRun: program logic debugging courseware for CS1/CS2 students.	SIGCSE	2004	DBLP DOI BibTeX RDF	pedagogy, CS1, CS2, courseware, debugging aid
32	Bernard J. Pope, Lee Naish	Practical aspects of declarative debugging in Haskell 98.	PPDP	2003	DBLP DOI BibTeX RDF	input and output, printing values, declarative debugging, resource usage
32	David Poutakidis, Lin Padgham, Michael Winikoff	An exploration of bugs and debugging in multi-agent systems.	AAMAS	2003	DBLP DOI BibTeX RDF	agent oriented design, multi-agent systems, debugging, interaction protocols
32	Françoise Baude, Alexandre Bergel, Denis Caromel, Fabrice Huet, Olivier Nano, Julien Vayssière	IC2D: Interactive Control and Debugging of Distribution.	LSSC	2001	DBLP DOI BibTeX RDF	graphical visualisation, distributed computing, object-oriented, monitoring, debugging, migration, metacomputing, active object, steering
32	François-Gaël Ottogalli, Cyril Labbé, Vincent Olive, Benhur de Oliveira Stein, Jacques Chassin de Kergommeaux, Jean-Marc Vincent	Visualisation of Distributed Applications for Performance Debugging.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF	performance analysis and debugging, JVMPI, meta-ORB, Java, distributed application
32	Lars Albertsson, Peter S. Magnusson	Using Complete System Simulation for Temporal Debugging of General Purpose Operating Systems and Workload.	MASCOTS	2000	DBLP DOI BibTeX RDF	Temporal Debugging, Simics, Complete System Simulation, Operating Systems, Linux, Soft Real Time Systems
32	Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young	Compiler and tool support for debugging object protocols.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	protocols, debugging, sequencing constraints
32	Francisco J. Suárez, Daniel F. García, Javier García 0002	Performance Debugging of Parallel and Distributed Embedded Systems.	PDSE	2000	DBLP DOI BibTeX RDF	Performance Debugging Methodology, Embedded Systems, Measurement, Parallel and Distributed Processing
32	Simon Huband, Chris McDonald	Debugging Parallel Programs Using Incomplete Information.	IWCC	1999	DBLP DOI BibTeX RDF	parallel program debugging, graph distance, maximal common subgraph, topology
32	Darko Kirovski, Miodrag Potkonjak	A quantitative approach to functional debugging.	ICCAD	1997	DBLP DOI BibTeX RDF	functional debugging, in-circuit emulation and simulation, error diagnosis
32	Thomas Kunz, James P. Black	Using Automatic Process Clustering for Design Recovery and Distributed Debugging.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	process clustering, reverse engineering, Cluster analysis, distributed debugging, design recovery, Hermes
32	Lu Xu, Michal Young	Two Dimensional Concurrent Program Debugging.	APSEC	1995	DBLP DOI BibTeX RDF	Concurrent Program Debugging, Program Dependence Analysis, Software Engineering, Dynamic Slice
32	Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim	An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information.	APSEC	1995	DBLP DOI BibTeX RDF	language-based replay, MHB(Minimal Happened Before) model, Detect and Reproduce method, parallel program, static analysis, debugging, probe effects, nondeterminacy, event ordering
32	Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz	High-Level Language Debugging for Concurrent Programs.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF	temporal logic, portability, distributed debugging, language independence
32	Matteo Marra, Guillermo Polito, Elisa Gonzalez Boix	Out-Of-Place debugging: a debugging architecture to reduce debugging interference.	Art Sci. Eng. Program.	2019	DBLP DOI BibTeX RDF
32	Matteo Marra, Guillermo Polito, Elisa Gonzalez Boix	Out-Of-Place debugging: a debugging architecture to reduce debugging interference.	CoRR	2018	DBLP BibTeX RDF
32	Julio García-Martín, Juan José Moreno-Navarro	Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine.	AADEBUG	1993	DBLP DOI BibTeX RDF
32	Dick Hamlet	Debugging "level": step-wise debugging.	SIGSOFT	1983	DBLP DOI BibTeX RDF
32	Bernhard Peischl, Safeeullah Soomro, Franz Wotawa	Towards Lightweight Fault Localization in Procedural Programs.	IEA/AIE	2006	DBLP DOI BibTeX RDF	model-based software debugging, software debugging, control software, procedural abstraction
32	Dhananjay M. Dhamdhere, K. V. Sankaranarayanan	Dynamic Currency Determination in Optimized Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	debugging optimized code, dynamic currency determination, minimal unrolled graph, compiler, code optimization, dynamic slicing, code instrumentation, source-level debugging
32	Thomas Kunz	Evaluating process clusters to support automatic program understanding.	WPC	1996	DBLP DOI BibTeX RDF	process cluster evaluation, automatic program understanding, static source analysis, application execution, reverse engineering, software maintenance, software maintenance, distributed processing, software tools, software tools, software design, distributed application, program debugging, program diagnostics, interprocess communication, distributed debugging, program development, quantitative evaluation, application design, prototypical tools
32	Robert Hood, Doreen Cheng	Accommodating heterogeneity in a debugger-a client-server approach.	HICSS (2)	1995	DBLP DOI BibTeX RDF	client portability, debugger core, client-server protocol, heterogeneous debugging, user interfaces, user interface, distributed computations, specification, program debugging, client-server systems, investment, investment
32	Anne F. Brindle, Richard N. Taylor, David F. Martin	A Debugger for Ada Tasking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking
32	Bogdan Korel	PELAS - Program Error-Locating Assistant System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	PELAS, program error-locating assistant system, error localization assistant, Pascal programs, knowledge representation, knowledge representation, software tools, knowledge based system, knowledge based systems, program verification, reasoning, Pascal, interactive systems, program debugging, program debugging, program structure, dependence network
31	Donglin Liang, Kai Xu 0002	Debugging object-oriented programs with behavior views.	AADEBUG	2005	DBLP DOI BibTeX RDF	debugging language, secenario-driven, execution monitoring
31	Scott E. Hudson, Roy Rodenstein, Ian E. Smith	Debugging Lenses: A New Class of Transparent Tools for User Interface Debugging.	ACM Symposium on User Interface Software and Technology	1997	DBLP DOI BibTeX RDF	context-based rendering, interactive debugging, lens interaction techniques, subArctic, Java, dynamic queries, user interface toolkits
31	Bernhard Peischl, Naveed Riaz, Franz Wotawa	Advances in Automated Source-Level Debugging of Verilog Designs.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	debugging of hardware designs, multiple testcases, model-based diagnosis, software debugging
31	Ian MacLarty, Zoltan Somogyi, Mark Brown	Divide-and-query and subterm dependency tracking in the mercury declarative debugger.	AADEBUG	2005	DBLP DOI BibTeX RDF	algorithmic debugging, divide-and-query, program slicing, declarative debugging
31	Earl Wagner, Henry Lieberman	An end-user tool for e-commerce debugging.	IUI	2003	DBLP DOI BibTeX RDF	debugging e-commerce, end-user debugging
31	Aaron J. Goldberg, John L. Hennessy	Mtool: An Integrated System for Performance Debugging Shared Memory Multiprocessor Applications.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	performance losses analysis, shared memorymultiprocessor applications, Mtool, lowoverhead instrumentation, synchronization bottlenecks, window-based user interface, synchronization objects, memory bottleneck detection, performance evaluation, software tool, software tools, shared memory systems, program debugging, compute time, integrated system, performance debugging, parallelprogramming, shared memory parallel programs
31	Nozer D. Singpurwalla	Determining an Optimal Time Interval for Testing and Debugging Software.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	optimal time interval, single-state testing, software testing, uncertainty, decision-making, software reliability, program testing, probabilistic models, decision theory, decision theory, costs, programming theory, program debugging, utility function, optimization problem, software failure, software debugging, expected utility, maximization
31	Earl C. Van Horn	Three criteria for designing computing systems to facilitate debugging.	Commun. ACM	1968	DBLP DOI BibTeX RDF	computer design criteria, computer systems design, computing reliability, deterministic computers, input equipment, input equipment design, multiprogrammed system design, multiprogrammed systems, parallel processing, parallel programming, parallel, debugging, operating systems, programming, programming languages, information security, program testing, determinism, program debugging, protection, multiprogramming, multiprocessing, repeatability, computer systems, memory protection, reproducibility, programming language semantics, programming language design, virtual computers, computer design, information privacy, program semantics, operating systems design, multi processing
30	Mireille Ducassé	Coca: An automated Debugger for C.	ICSE	1999	DBLP DOI BibTeX RDF	debugging language, program behavior understanding, trace query mechanism, C, automated debugging, debugging tool
29	Chao Liu 0001, Zeng Lian, Jiawei Han 0001	How Bayesians Debug.	ICDM	2006	DBLP DOI BibTeX RDF
29	Nam Thoai, Dieter Kranzlmüller, Jens Volkert	EROS: An Efficien Method for Minimizing the Replay Time based on the Replay Dependence Relation.	PDP	2003	DBLP DOI BibTeX RDF
29	Linda J. Moore, Angelica R. Moya	Non-Intrusive Debug Technique for Embedded Programming.	ISSRE	2003	DBLP DOI BibTeX RDF
29	Robert E. McLear, D. M. Scheibelhut, E. Tammaru	Guidelines for Creating a Debuggable Processor.	ASPLOS	1982	DBLP DOI BibTeX RDF
28	Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig	Capability wrangling made easy: debugging on a microkernel with valgrind.	VEE	2010	DBLP DOI BibTeX RDF	l4, valgrind, capability, microkernel