Search results for "debugger"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Aaron J. Gordon, Raphael A. Finkel	Handling Timing Errors in Distributed Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	postmortem debugger, history-keeping mechanism, distributed processing, software tools, program testing, directed graph, directed graphs, distributed programs, interprocess communication, TAP, timing errors, timing graph
28	Yangyi Sui, Lili Pang 0001, Jun Lin, Xiaotuo Zhang	Dataflow Visual Programming Language Debugger Supported by Fisheye View.	ICYCS	2008	DBLP DOI BibTeX RDF
28	Jing Yang 0003, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse	Clairvoyant: a comprehensive source-level debugger for wireless sensor networks.	SenSys	2007	DBLP DOI BibTeX RDF	embedded debugging, wireless sensor networks, distributed debugging, source-level debugging
28	Jason Raber, Eric Laspe	Emulated Breakpoint Debugger and Data Mining Using Detours.	WCRE	2007	DBLP DOI BibTeX RDF
28	Donny Kurniawan, David Abramson 0001	A WSRF-Compliant Debugger for Grid Applications.	IPDPS	2007	DBLP DOI BibTeX RDF
28	Robin Abraham, Martin Erwig	GoalDebug: A Spreadsheet Debugger for End Users.	ICSE	2007	DBLP DOI BibTeX RDF
28	Ian MacLarty, Zoltan Somogyi	Controlling Search Space Materialization in a Practical Declarative Debugger.	PADL	2006	DBLP DOI BibTeX RDF
28	Ye Wen, Richard Wolski, Selim Gurun	S2DB: a novel simulation-based debugger for sensor network applications.	EMSOFT	2006	DBLP DOI BibTeX RDF	ebugging, simulation, sensor network
28	Boby George, Shawn A. Bohner, Nannan He	Towards a Model Level Debugger for the Cougaar Model Driven Architecture System.	WRAC	2005	DBLP DOI BibTeX RDF
28	Lokesh Verma, Hardy J. Pottinger, Daryl G. Beetner	A Software Debugger Interface for an 8051 Hardware Model.	MSE	2003	DBLP DOI BibTeX RDF
28	K. Scott Hemmert, Justin L. Tripp, Brad L. Hutchings, Preston A. Jackson	Source Level Debugger for the Sea Cucumber Synthesizing Compiler.	FCCM	2003	DBLP DOI BibTeX RDF
28	József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner	Integrating Temporal Assertions into a Parallel Debugger.	Euro-Par	2002	DBLP DOI BibTeX RDF
28	Daniel J. Abadi, Mitch Cherniack	Visual COKO: a debugger for query optimizer development.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF
28	Jaeyoung Lee, Heonkyu Park, Woohyung Choi	Multicast Routing Debugger (MRD) - A System to Monitor the Status of Multicast Network.	ICOIN (1)	2002	DBLP DOI BibTeX RDF
28	Tankut Akgul, Pramote Kuacharoen, Vincent John Mooney III, Vijay K. Madisetti	A Debugger RTOS for Embedded Systems.	EUROMICRO	2001	DBLP DOI BibTeX RDF
28	Torsten Illmann, Tilman Krueger, Frank Kargl, Michael Weber 0001	Transparent Migration of Mobile Agents Using the Java Platform Debugger Architecture.	Mobile Agents	2001	DBLP DOI BibTeX RDF
28	Peter Fritzson, Roland Wismüller, Olav Hansen, Jonas Sala, Peter Skov	A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes.	CC	1996	DBLP DOI BibTeX RDF
28	Sougata Mukherjea, John T. Stasko	Toward Visual Debugging: Integrating Algorithm Animation Capabilities Within a Source Level Debugger.	ACM Trans. Comput. Hum. Interact.	1994	DBLP DOI BibTeX RDF	user interfaces, debugging, programming environments, software visualization, algorithm animation
28	Jun'ichi Tatemura, Hanpei Koike, Hidehiko Tanaka	Control and Data Flow Visualization for Parallel Logic Programs on a Multi-window Debugger HyperDEBU.	PARLE	1993	DBLP DOI BibTeX RDF
28	Jun'ichi Tatemura, Hidehiko Tanaka	Debugger for a Parallel Logic Programming Language Fleng.	LP	1989	DBLP DOI BibTeX RDF
28	Alfred Hough, Janice E. Cuny	Initial Experiences with a Pattern-Oriented Parallel Debugger.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
28	Shinichi Morishita, Masayuki Numao	Prolog Computation Model BPM and its Debugger PROEDIT2.	LP	1986	DBLP DOI BibTeX RDF
20	Cristian Zamfir, George Candea	Execution synthesis: a technique for automated software debugging.	EuroSys	2010	DBLP DOI BibTeX RDF	symbolic execution, automated debugging
20	Andreas Stefik, Andrew Haywood, Shahzada Mansoor, Brock Dunda, Daniel D. Garcia	SODBeans.	ICPC	2009	DBLP DOI BibTeX RDF
20	Qiang Yue, Zhiwei Xu 0002, Haiyan Yu, Wei Li 0008, Li Zha	An Approach to Debugging Grid or Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
20	Bernd Braßel, Michael Hanus, Sebastian Fischer 0001, Frank Huch, Germán Vidal	Lazy call-by-value evaluation.	ICFP	2007	DBLP DOI BibTeX RDF	debugging techniques, laziness
20	Barry Kingsbury	Organizing processes and threads for debugging.	PADTAD	2007	DBLP DOI BibTeX RDF
20	Alberto de la Encina, Luis Llana, Fernando Rubio 0001, Mercedes Hidalgo-Herrero	Observing intermediate structures in a parallel lazy functional language.	PPDP	2007	DBLP DOI BibTeX RDF	parallel functional programming, semantics, debugging
20	Sean Safarpour, Hratch Mangassarian, Andreas G. Veneris, Mark H. Liffiton, Karem A. Sakallah	Improved Design Debugging Using Maximum Satisfiability.	FMCAD	2007	DBLP DOI BibTeX RDF
20	Christopher Gottbrath, Brian Barrett, William D. Gropp, Ewing L. Lusk, Jeffrey M. Squyres	An Interface to Support the Identification of Dynamic MPI 2 Processes for Scalable Parallel Debugging.	PVM/MPI	2006	DBLP DOI BibTeX RDF
20	Philippe Meunier, Robert Bruce Findler, Matthias Felleisen	Modular set-based analysis from contracts.	POPL	2006	DBLP DOI BibTeX RDF	modular analysis, runtime contracts, static debugging, set-based analysis
20	André V. Fidalgo, Manuel G. Gericota, Gustavo R. Alves, José M. Ferreira 0001	Using NEXUS compliant debuggers for real time fault injection on microprocessors.	SBCCI	2006	DBLP DOI BibTeX RDF	on chip debug, real time systems, fault injection
20	Chi Wu, Kun-Yuan Hsieh, Yung-Chia Lin, Chung-Ju Wu, Wen-Li Shih, Shih-Chang Chen, Chung-Kai Chen, Chien-Ching Huang, Yi-Ping You, Jenq Kuen Lee	Integrating Compiler and System Toolkit Flow for Embedded VLIW DSP Processors.	RTCSA	2006	DBLP DOI BibTeX RDF
20	Greg Watson, Craig Rasmussen, Beth Tibbitts	S03 - Application development using eclipse and the parallel tools platform.	SC	2006	DBLP DOI BibTeX RDF
20	Tijn Kooijmans, Takayuki Kanda 0001, Christoph Bartneck, Hiroshi Ishiguro, Norihiro Hagita	Interaction debugging: an integral approach to analyze human-robot interaction.	HRI	2006	DBLP DOI BibTeX RDF	interaction, analysis tool, integral approach, multimodal data
20	Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora	Formal Specification-based Online Monitoring.	ICECCS	2006	DBLP DOI BibTeX RDF
20	Alexey Ya. Kalinov, Konstantin Karganov, K. V. Khorenko	An approach to the development of debuggers that use semantics of constructs of parallel programs.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
20	Donglin Liang, Kai Xu 0002	Monitoring with Behavior View Diagrams for Debugging.	APSEC	2005	DBLP DOI BibTeX RDF
20	Alexey Ya. Kalinov, Konstantin Karganov, Konstantin Konstantin	Towards the Proper "Step" Command in Parallel Debuggers.	IPDPS	2004	DBLP DOI BibTeX RDF
20	Omid Banyasad, Philip T. Cox	An Automatic Layout Algorithm for Lograph.	VL/HCC	2004	DBLP DOI BibTeX RDF
20	Alex Ho, Steven Hand 0001, Tim Harris 0001	PDB: Pervasive Debugging With Xen.	GRID	2004	DBLP DOI BibTeX RDF
20	Bernard J. Pope	Declarative Debugging with Buddha.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
20	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
20	Shinji Uchida, Akito Monden, Hajimu Iida, Ken-ichi Matsumoto, Hideo Kudo	A Multiple-View Analysis Model of Debugging Processes.	ISESE	2002	DBLP DOI BibTeX RDF
20	Gian-Luigi Ferrari 0002, Emilio Tuosto	A debugging calculus for mobile ambients.	SAC	2001	DBLP DOI BibTeX RDF
20	Cristina Cifuentes, Trent Waddington, Mike Van Emmerik	Computer Security Analysis through Decompilation and High-Level Debugging.	WCRE	2001	DBLP DOI BibTeX RDF	security, reverse engineering, debugging, Decompilation
20	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
20	Ton Ngo, John J. Barton	Debugging by Remote Reflection.	Euro-Par	2000	DBLP DOI BibTeX RDF
20	Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa	JADE - AI Support for Debugging Java Programs.	ICTAI	2000	DBLP DOI BibTeX RDF
20	Matthias Felleisen, Robert Cartwright	Safety as a Metric.	CSEE&T	1999	DBLP DOI BibTeX RDF
20	Changqing Wang, David R. Musser	Dynamic Verification of C++ Generic Algorithms.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	verification, C++, Specification, templates, software libraries, generic algorithms, Standard Template Library
20	Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen	DrScheme: A Pedagogic Programming Environment for Scheme.	PLILP	1997	DBLP DOI BibTeX RDF	Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging
20	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
20	Yuh Ming Yong, David J. Taylor	Performing replay in an OSF DCE environment.	CASCON	1995	DBLP BibTeX RDF	OSF/1
20	Norman Ramsey	Correctness of Trap-Based Breakpoint Implementations.	POPL	1994	DBLP DOI BibTeX RDF
20	Roland Wismüller	Debugging of Globally Optimized Programs Using Data Flow Analysis.	PLDI	1994	DBLP DOI BibTeX RDF	DEBUG, C
20	Ali-Reza Adl-Tabatabai, Thomas R. Gross	Detection and Recovery of Endangered Variables Caused by Instruction Scheduling.	PLDI	1993	DBLP DOI BibTeX RDF
20	Nancy J. Wahl, Stephen R. Schach	A Paradigm for Distributed Debugging.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
20	Rosalee Nerheim-Wolfe	Providing a laboratory for instruction set design.	SIGCSE	1992	DBLP DOI BibTeX RDF
20	Andrew P. Tolmach, Andrew W. Appel	Debugging Standard ML Without Reverse Engineering.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
20	Bernd Bruegge	Program Development for a Systolic Array.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF
20	Peter Fritzson	Preliminary Experience from the DICE System, A Distributed Incremental Compiling Environment.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF
20	Raphael A. Finkel	Run-time Print Values.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
20	Mark Scott Johnson	A software debugging glossary.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
20	Mark Scott Johnson	Some Requirements for Architectural Support of Software Debugging.	ASPLOS	1982	DBLP DOI BibTeX RDF	Architectural debugging support, Debugging-oriented architecture, Interactive debugging, Symbolic debugging, Debugging, Profiles, Traces, Breakpoints
20	Bernd Mathiske	The maxine virtual machine and inspector.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	meta-circularity, object browser, virtual machine, debugger
20	Kristof Beyls, Erik H. D'Hollander	Intermediately executed code is the key to find refactorings that improve temporal data locality.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	performance debugger, temporal data locality, program analysis, refactoring, program optimizations, loop transformations
20	Andrei Kirshin, Dolev Dotan, Alan Hartman	A UML Simulator Based on a Generic Model Execution Engine.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	Model Debugger, UML, State Machines, Activities, Model Execution, Model Simulator
20	Frédéric Goualard, Frédéric Benhamou	A Visualization Tool for Constraint Program Debugging.	ASE	1999	DBLP DOI BibTeX RDF	constraint store, user interface, program understanding, constraint programming, local consistency, debugger
20	Yuzo Fujishima	An Interface Agent for Nonroutine Tasks.	IUI	1997	DBLP DOI BibTeX RDF	goal-oriented interface, DEBUG, programming-by-demonstration, interface agent, debugger
20	Mark Minas	Detecting Quantified Global Predicates in Parallel Programs.	Euro-Par	1995	DBLP DOI BibTeX RDF	parallel debugger, testing, debugging, Global predicates
20	Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno	Strategic Testing Environment with Formal Description Techniques.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	formal environment for systematic testing, stepwise approach, test development, TENT, test sequence generation tool, APRICOT, ASN.1 pre-compiler, coder, test-debugger, test specification editor, upper tester, lower tester, simulator, design, formal specification, protocol, protocols, data structures, programming environments, formal semantics, communication systems, formal description techniques, FOREST, test execution
18	Niko Strijbol, Robbe De Proft, Klaas Goethals, Bart Mesuere, Peter Dawyndt, Christophe Scholliers	Blink: An educational software debugger for Scratch.	SoftwareX	2024	DBLP DOI BibTeX RDF
18	Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo	The Visual Debugger: Past, Present, and Future.	CoRR	2024	DBLP DOI BibTeX RDF
18	Lily Zhong, Zilong Wang 0002, Jingbo Shang	LDB: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step.	CoRR	2024	DBLP DOI BibTeX RDF
18	Paul Leger, Felipe Ruiz, Hiroaki Fukuda, Nicolás Cardozo	Benefits, challenges, and usability evaluation of DeloreanJS: a back-in-time debugger for JavaScript.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
18	José Miguel Moreno, Narseo Vallina-Rodriguez, Juan Tapiador	Chrowned by an Extension: Abusing the Chrome DevTools Protocol through the Debugger API.	CoRR	2023	DBLP DOI BibTeX RDF
18	Chaoquan Jiang, Jinqiang Wang, Rui Hu, Jitao Sang	Language-assisted Vision Model Debugger: A Sample-Free Approach to Finding Bugs.	CoRR	2023	DBLP DOI BibTeX RDF
18	Timo Räth, Kai-Uwe Sattler	Traveling Back in Time: A Visual Debugger for Stream Processing Applications.	ICDE	2023	DBLP DOI BibTeX RDF
18	Ajay Brahmakshatriya, Saman P. Amarasinghe	D2X: An eXtensible conteXtual Debugger for Modern DSLs.	CGO	2023	DBLP DOI BibTeX RDF
18	Tom Lauwaerts, Carlos Rojas Castillo, Elisa Gonzalez Boix, Christophe Scholliers	Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo).	DEBT@SIGMOD	2023	DBLP DOI BibTeX RDF
18	Niko Strijbol, Christophe Scholliers, Peter Dawyndt	Blink: An Educational Software Debugger for Scratch.	ITiCSE (2)	2023	DBLP DOI BibTeX RDF
18	José Miguel Moreno, Narseo Vallina-Rodriguez, Juan Tapiador	Chrowned by an Extension: Abusing the Chrome DevTools Protocol through the Debugger API.	EuroS&P	2023	DBLP DOI BibTeX RDF
18	Minhyuk Ko, Dibyendu Brinto Bose, Hemayet Ahmed Chowdhury, Mohammed Seyam, Chris Brown 0001	Exploring the Barriers and Factors that Influence Debugger Usage for Students.	VL/HCC	2023	DBLP DOI BibTeX RDF
18	Ian Drosos, Nicholas Wilson, Andrew D. Gordon 0001, Sruti Srinivasa Ragavan, Jack Williams 0001	FxD: a functional debugger for dysfunctional spreadsheets.	VL/HCC	2023	DBLP DOI BibTeX RDF
18	Abdulaziz Alaboudi, Thomas D. LaToza	Hypothesizer: A Hypothesis-Based Debugger to Find and Test Debugging Hypotheses.	UIST	2023	DBLP DOI BibTeX RDF
18	Francesco Angione, Paolo Bernardi, Nicola Di Gruttola Giardino, Davide Appello, Claudia Bertani, Vincenzo Tancorre	A guided debugger-based fault injection methodology for assessing functional test programs.	VTS	2023	DBLP DOI BibTeX RDF
18	Jingfan Zang, Tony Russell-Rose	A Prototype "Debugger" for Search Strategies.	CHIIR	2023	DBLP DOI BibTeX RDF
18	Luís Almeida 0001, Miguel Gonzaga, José Fragoso Santos, Rui Abreu 0001	Rexstepper: a Reference Debugger for JavaScript Regular Expressions.	ICSE Companion	2023	DBLP DOI BibTeX RDF
18	Nils Weidmann, Enes Yigitbas, Anthony Anjorin, Ankita Srivastava, Jane Jose	Human-in-the-Loop Large-Scale Model Transformations with the VICToRy Debugger.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
18	Pattaraporn Tulathum, Bunyapon Usawalertkamol, Gustavo Alfonso Garcia Ricardez, Jun Takamatsu, Tsukasa Ogasawara, Kenichi Matsumoto	Robot behavior debugger for non-expert users in convenience stores using behavior trees.	Adv. Robotics	2022	DBLP DOI BibTeX RDF
18	Dileep Kumar Pattipati, Rupesh Nasre, Sreenivasa Kumar Puligundla	BOLD: an ontology-based log debugger for C programs.	Autom. Softw. Eng.	2022	DBLP DOI BibTeX RDF
18	Mor Geva, Avi Caciularu, Guy Dar, Paul Roit, Shoval Sadde, Micah Shlain, Bar Tamir, Yoav Goldberg	LM-Debugger: An Interactive Tool for Inspection and Intervention in Transformer-Based Language Models.	CoRR	2022	DBLP DOI BibTeX RDF
18	Donglin Wang	An Integrated Debugger System Using Improved Suffix Tree Algorithm to Visualize X-86 Application Logic.		2022	DOI RDF
18	Takashi Ikeda, Shoji Yuen	A Reversible Debugger for Imperative Parallel Programs with Contracts.	RC	2022	DBLP DOI BibTeX RDF
18	Max Eisele	Debugger-driven Embedded Fuzzing.	ICST	2022	DBLP DOI BibTeX RDF
18	Mao-Hsu Yen, Cheng-Hao Tsou, Ssu-Chi Lin, Che-Wei Chang, Yih-Hsia Lin, Yuan-Fu Ku, Chi-Lin Chiang	VLSI Implementation of RISC MCU with In-Circuit Debugger.	ICKII	2022	DBLP DOI BibTeX RDF
18	Yihao Hu, Zhengjie Miao, Zhiming Leong, Haechan Lim, Zachary Zheng, Sudeepa Roy, Kristin Stephens-Martinez, Jun Yang 0001	I-Rex: An Interactive Relational Query Debugger for SQL.	SIGCSE (2)	2022	DBLP DOI BibTeX RDF
18	Veit Wiese, Michael Schmidt 0014, Darshak Sheladiya, Roman Obermaisser	In-Circuit Debugger for Wireless Real-Time Monitoring and Diagnosis of FPGA Applications.	IECON	2022	DBLP DOI BibTeX RDF
18	Mor Geva, Avi Caciularu, Guy Dar, Paul Roit, Shoval Sadde, Micah Shlain, Bar Tamir, Yoav Goldberg	LM-Debugger: An Interactive Tool for Inspection and Intervention in Transformer-Based Language Models.	EMNLP (Demos)	2022	DBLP DOI BibTeX RDF