Search results for "debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Slim Masmoudi	Solving-Oriented and Domain-Oriented Knowledge Structures: Their Application to Debugging Problem Solving Activity.	ICCS	2001	DBLP DOI BibTeX RDF
22	Róbert Lovas, Vaidy S. Sunderam	Extension of Macrostep Debugging Methodology Towards Metacomputing Applications.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
22	Michiel Ronsse, Mark Christiaens, Koenraad De Bosschere	Cyclic Debugging Using Execution Replay.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
22	David Jackson	Visual Debugging of Multithreaded Java Programs.	HCC	2001	DBLP DOI BibTeX RDF
22	Rene Kobler, Dieter Kranzlmüller, Jens Volkert	Debugging OpenMP Programs Using Event Manipulation.	WOMPAT	2001	DBLP DOI BibTeX RDF
22	Franz Wotawa	Using Multiple Models for Debugging VHDL Designs.	IEA/AIE	2001	DBLP DOI BibTeX RDF
22	Dieter Kranzlmüller, Rene Kobler, Rainer Koppler, Jens Volkert	Debugging MPI Programs with Array Visualization.	HPCN	2000	DBLP DOI BibTeX RDF
22	Wen-Jong Fang, Peng-Cheng Kao, Allen C.-H. Wu	A Multi-Level FPGA Synthesis Method Supporting HDL Debugging for Emulation-Based Designs.	ASP-DAC	1999	DBLP DOI BibTeX RDF
22	Nicholas McKay, Satnam Singh	Debugging Techniques for Dynamically Reconfigurable Hardware.	FCCM	1999	DBLP DOI BibTeX RDF
22	Ken Hines, Gaetano Borriello	Debugging Distributed Implementations of Modal Process Systems.	LCTES	1998	DBLP DOI BibTeX RDF
22	Shirley Browne	Cross-Platform Parallel Debugging and Performance Analysis Tools.	PVM/MPI	1998	DBLP DOI BibTeX RDF
22	Mikael Pettersson	Portable Debugging and Profiling.	CC	1998	DBLP DOI BibTeX RDF
22	Neophytos Neophytou, Paraskevas Evripidou	Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet.	Euro-Par	1998	DBLP DOI BibTeX RDF
22	Ali Dasdan, Anmol Mathur, Rajesh K. Gupta 0001	RATAN: A tool for rate analysis and rate constraint debugging for embedded systems.	ED&TC	1997	DBLP DOI BibTeX RDF
22	Ramakrishnan Rajamony, Alan L. Cox	Performance Debugging Shared Memory Parallel Programs Using Run-Time Dependence Analysis.	SIGMETRICS	1997	DBLP DOI BibTeX RDF
22	Wen-Jong Fang, Allen C.-H. Wu, Ti-Yen Yen	A Real-Time RTL Engineering-Change Method Supporting On-Line Debugging for Logic-Emulation Applications.	DAC	1997	DBLP DOI BibTeX RDF
22	Christian Clémençon, Akiyoshi Endo, Josef Fritscher, Andreas Müller, Brian J. N. Wylie	Annai Scalable Run-Time Support for Interactive Debugging and Performance Analysis of Large-Scale Parallel Programs.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
22	Noritaka Osawa, Kei Hisano, Toshitsugu Yuba	A Visual Performance Debugging System for Parallel Programs.	HICSS (1)	1996	DBLP DOI BibTeX RDF
22	Max Copperman	Debugging Optimized Code Without Being Misled.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF
22	Patricia Prather Pineo, Mary Lou Soffa	A Practical Approach to the Symbolic Debugging of Parallelized Code.	CC	1994	DBLP DOI BibTeX RDF
22	Ramin Hojati, Robert K. Brayton, Robert P. Kurshan	BDD-Based Debugging Of Design Using Language Containment and Fair CTL.	CAV	1993	DBLP DOI BibTeX RDF
22	Margaret Martonosi, Anoop Gupta, Thomas E. Anderson	Effectiveness of Trace Sampling for Performance Debugging Tools.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
22	Nancy J. Wahl, Stephen R. Schach	A Paradigm for Distributed Debugging.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
22	Gary Brooks, Gilbert J. Hansen, Steve Simmons	A New Approach to Debugging Optimized Code.	PLDI	1992	DBLP DOI BibTeX RDF	FORTRAN
22	Gerardus Johannes Wichardus van Dijk, A. J. van der Wal	Partial Ordering of Synchronization Events for Distributed Debugging in Tightly-coupled Multiprocessor Systems.	EDMCC	1991	DBLP DOI BibTeX RDF
22	Hermann Ilmberger, Sabine Thürmel	A Toolkit for Debugging Parallel Lisp Programs.	PARLE (1)	1991	DBLP DOI BibTeX RDF
22	Martina Zitterbart	Monitoring and Debugging Transputer-Networks with NETMON-II.	CONPAR	1990	DBLP DOI BibTeX RDF
22	Robert Hood, Ken Kennedy, John M. Mellor-Crummey	Parallel program debugging with on-the-fly anomaly detection.	SC	1990	DBLP DOI BibTeX RDF	DEBUG, FORTRAN
22	Yasuaki Honda, Akinori Yonezawa	Debugging Concurrent Systems Based on Object Groups.	ECOOP	1988	DBLP DOI BibTeX RDF
22	Barton P. Miller, Jong-Deok Choi	A Mechanism for Efficient Debugging of Parallel Programs.	PLDI	1988	DBLP DOI BibTeX RDF
22	Trevor Lukey, Kenneth D. Loose, David R. Hill	Implementation of a debugging aid for logic errors in Pascal programs.	SIGCSE	1987	DBLP DOI BibTeX RDF	Pascal
22	Rolf Bahlke, Bernhard Moritz, Gregor Snelting	A generator for language-specific debugging systems.	PLDI	1987	DBLP DOI BibTeX RDF
22	Amitabh Srivastava	Recovery of Noncurrent Variables in Source-Level Debugging of Optimized Code.	FSTTCS	1986	DBLP DOI BibTeX RDF
22	Hidehisa Takahashi, Etsuya Shibayama	PRESET - A Debugging Environment for Prolog.	LP	1985	DBLP DOI BibTeX RDF
22	Takeshi Chusho, Atsushi Tanaka, Eri Okamoto, Akinori Honda, Toru Kurosaki	HITS: a symbolic testing and debugging system for multilingual microcomputer software.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
22	Helene E. Kulsrud, Robert M. Blazer, Herman H. Goldstine, Ralph Grishman, M. Douglas McIlroy, Patrick E. Hagerty	Program debugging.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
22	R. L. ver Steeg	Talk - a high-level source language debugging technique with real-time data extraction: 26.	Commun. ACM	1964	DBLP DOI BibTeX RDF
22	James A. Clause, Alessandro Orso	Penumbra: automatically identifying failure-relevant inputs using dynamic tainting.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic information flow, failure-relevant inputs, automated debugging, dynamic tainting
22	Paul E. West, Yuval Peress, Gary S. Tyson, Sally A. McKee	Core monitors: monitoring performance in multicore processors.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	scheduling, debugging, profiling, multicore, cache coherency, performance monitoring, realtime
22	Catherine Roussey, Óscar Corcho, Luis Manuel Vilches Blázquez	A catalogue of OWL ontology antipatterns.	K-CAP	2009	DBLP DOI BibTeX RDF	ontology, debugging, OWL, antipattern
22	Ruini Xue, Xuezheng Liu, Ming Wu 0007, Zhenyu Guo, Wenguang Chen, Weimin Zheng, Zheng Zhang 0001, Geoffrey M. Voelker	MPIWiz: subgroup reproducible replay of mpi applications.	PPoPP	2009	DBLP DOI BibTeX RDF	message passing interface, non-determinism, distributed debugging, record and replay
22	Andreas G. Veneris, Sean Safarpour	The day Sherlock Holmes decided to do EDA.	DAC	2009	DBLP DOI BibTeX RDF	error localization, verification, debugging
22	Dan Hao 0001, Lu Zhang 0023, Ying Pan, Hong Mei 0001, Jiasu Sun	On similarity-awareness in testing-based fault localization.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Debugging, Fuzzy set, Maintenance, Fault localization
22	Claudio Ochoa, Josep Silva, Germán Vidal	Dynamic slicing of lazy functional programs based on redex trails.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Lazy functional programming, Redex trails, Debugging, Slicing
22	Harry Foster	Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial).	CAV	2008	DBLP DOI BibTeX RDF	Simulation, Formal Verification, Debugging, Assertion, Functional Verification, Property Specification, Assertion-Based Verification
22	Cemal Yilmaz 0001, Amit M. Paradkar, Clay Williams	Time will tell: fault localization using time spectra.	ICSE	2008	DBLP DOI BibTeX RDF	fault localization, automated debugging
22	Chiara Francalanci, Francesco Merlo	Empirical Analysis of the Bug Fixing Process in Open Source Projects. (PDF / PS)	OSS	2008	DBLP DOI BibTeX RDF	Open Source Software debugging process quality
22	Petros Efstathopoulos, Eddie Kohler	Manageable fine-grained information flow.	EuroSys	2008	DBLP DOI BibTeX RDF	decentralized information flow control, debugging, labels, policy language
22	Chin-Lung Chuang, Wei-Hsiang Cheng, Dong-Jung Lu, Chien-Nan Jimmy Liu	Hybrid Approach to Faster Functional Verification with Full Visibility.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	simulator, emulator, visibility, hybrid, functional verification, debugging environment
22	Tai-Yi Huang, Pin-Chuan Chou, Cheng-Han Tsai, Hsin-An Chen	Automated fault localization with statistically suspicious program states.	LCTES	2007	DBLP DOI BibTeX RDF	fault localization, automated debugging, state coverage
22	Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat	Mace: language support for building distributed systems.	PLDI	2007	DBLP DOI BibTeX RDF	Mace, distributed systems, model checking, concurrency, debugging, domain specific languages, event driven programming
22	Joseph R. Ruthruff, Margaret M. Burnett, Gregg Rothermel	Interactive Fault Localization Techniques in a Spreadsheet Environment.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	debugging, end-user programming, spreadsheets, Fault localization, end-user software engineering
22	Diomidis Spinellis	Debuggers and logging frameworks.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	logging framework, debugging, breakpoint
22	Hui Wu	Grammar-driven generation of domain-specific language tools.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	testing, debugging, mapping, grammar, DSLs
22	Yaniv Eytani, Timo Latvala	Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	Concurrent debugging, scheduling noise, Java, testing
22	Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001	Locating faults through automated predicate switching.	ICSE	2006	DBLP DOI BibTeX RDF	predicate switching, automated debugging, dynamic slicing
22	Satish Narayanasamy, Cristiano Pereira, Brad Calder	Recording shared memory dependencies using strata.	ASPLOS	2006	DBLP DOI BibTeX RDF	strata, debugging, dependencies, shared memory, logging, replay
22	Baowen Xu, Ju Qian, Xiaofang Zhang, Zhongqiang Wu, Lin Chen 0015	A brief survey of program slicing.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	debugging, program analysis, program slicing, dependence analysis, pointer analysis
22	Yuanyuan Zhou 0001, Pin Zhou, Feng Qin, Wei Liu 0014, Josep Torrellas	Efficient and flexible architectural support for dynamic monitoring.	ACM Trans. Archit. Code Optim.	2005	DBLP DOI BibTeX RDF	dynamic monitoring, thread-level speculation (TLS), software debugging, Architectural support
22	Ben L. Titzer, Jens Palsberg	Nonintrusive precision instrumentation of microcontroller software.	LCTES	2005	DBLP DOI BibTeX RDF	cycle-accurate, instruction-level simulation, sensor networks, monitoring, debugging, profiling, instrumentation, parallel simulation
22	Nithya Ramanathan, Kevin K. Chang, Rahul Kapur, Lewis Girod, Eddie Kohler, Deborah Estrin	Sympathy for the sensor network debugger.	SenSys	2005	DBLP DOI BibTeX RDF	failure localization, root causes, sensor networks, debugging, failure detection
22	Hui Wu	Grammar-driven generation of domain-specific language testing tools.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, grammar
22	Chao Liu 0001, Xifeng Yan, Long Fei, Jiawei Han 0001, Samuel P. Midkiff	SOBER: statistical model-based bug localization.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	localization metrics, statistical debugging
22	Xiangyu Zhang 0001, Rajiv Gupta 0001	Matching execution histories of program versions.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	piracy detection, debugging, dynamic analysis, execution traces
22	Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan	Scalable statistical bug isolation.	PLDI	2005	DBLP DOI BibTeX RDF	bug isolation, feature selection, invariants, random sampling, statistical debugging
22	W. Eric Wong, Yu Qi	An Execution Slice and Inter-Block Data Dependency-Based Approach for Fault Localization.	APSEC	2004	DBLP DOI BibTeX RDF	inter-block data dependency, Software testing, program debugging, fault localization, execution slice
22	Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal	PathFinder: A Tool for Design Exploration.	CAV	2002	DBLP DOI BibTeX RDF	Model Checking, Debugging, Design Exploration, PathFinder
22	Andreas Zeller	Isolating cause-effect chains from computer programs.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	testing, program comprehension, tracing, automated debugging
22	Neophytos Neophytou, Paraskevas Evripidou	Net-dbx: A Web-Based Debugger of MPI Programs Over Low-Bandwidth Lines.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	WWW, Parallel processing, message passing, teleworking, Java applets, parallel debugging
22	Grégory Duval, Thierry Cattel	Developing Safe Concurrent and Distributed Applications with an Architectural Environment.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	Code Production, Concurrency, Debugging, Distribution, Implementation, Architecture Description
22	Siegfried Grabner, Dieter Kranzlmüller	Monitoring for Detecing Bugs and Blocking Communication.	CONPAR	1994	DBLP DOI BibTeX RDF	Distributed Memory Debugging, Communication Events, Monitoring, Trace Driven Simulation, Event Graph
22	Luk Levrouw, Koenraad Audenaert	Minimizing the Log Size for Execution Replay of Shared-Memory Programs.	CONPAR	1994	DBLP DOI BibTeX RDF	Execution Replay, Logical Clocks, Parallel Debugging
22	Harry Joe	Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	general-order-statistics, nonhomogeneous-Poisson-process software reliability models, asymptotic likelihood inference, asymptotic confidence levels, interval estimates, conditional failure rate, debugging, software reliability, statistical analysis, inference mechanisms, statistical inference
22	Karl J. Ottenstein, Linda M. Ottenstein	The Program Dependence Graph in a Software Development Environment.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	Internal program representation, Debugging, Interpreter, Program slice, Data flow, Control flow, Code optimization, Software complexity metrics
21	Abdulaziz Alaboudi, Thomas D. LaToza	What constitutes debugging? An exploratory study of debugging episodes.	Empir. Softw. Eng.	2023	DBLP DOI BibTeX RDF
21	Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix	Out-of-Things Debugging: A Live Debugging Approach for Internet of Things.	Art Sci. Eng. Program.	2023	DBLP DOI BibTeX RDF
21	Sungmin Kang, Bei Chen, Shin Yoo, Jian-Guang Lou	Explainable Automated Debugging via Large Language Model-driven Scientific Debugging.	CoRR	2023	DBLP DOI BibTeX RDF
21	Victoria Macann, Aman Yadav	Debugging Beyond the Code: Teachers' Perceptions of Debugging as a CT Practice Impacting Interdisciplinary Teaching and Learning.	CompEd (1)	2023	DBLP DOI BibTeX RDF
21	Ole Lehrmann Madsen	Using Object-Sequence Diagrams for Debugging.	DEBT@SIGMOD	2023	DBLP DOI BibTeX RDF
21	Adrien Vanègue, Valentin Bourcier, Fábio Petrillo, Steven Costiou	Debugging Video Games: A Systematic Mapping.	DEBT@SIGMOD	2023	DBLP DOI BibTeX RDF
21	Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner	Symbolic Debugging with Gillian.	DEBT@SIGMOD	2023	DBLP DOI BibTeX RDF
21	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
21	Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, Elisa Gonzalez Boix	Out-of-Things Debugging: A Live Debugging Approach for Internet of Things.	CoRR	2022	DBLP DOI BibTeX RDF
21	Hsu Wai Hnin, Khin Khin Zaw	Error Debugging Problem in Python Programming Learning Assistant System using Error Debugging Method extension Blank Element Selection Algorithms.	ICCDE	2022	DBLP DOI BibTeX RDF
21	Patrick Rein, Tom Beckmann, Leonard Geier, Toni Mattis, Robert Hirschfeld	Competitive Debugging: Toward Contests Promoting Debugging as a Skill.	Onward!	2022	DBLP DOI BibTeX RDF
21	Yanxin Zhang, Longlong He, Zhenhai Ning, Jinwang Li, Lang Tan, Lixin Yang 0007	Implementation and Debugging Method of a High-end Controller Chip Safety Debugging System.	EITCE	2022	DBLP DOI BibTeX RDF
21	Corey E. Brady, Melissa S. Gresalfi, Selena Steinberg, Madison Knowe	Debugging for Art's Sake: Beginning Programmers' Debugging Activity in an Expressive Coding Context.	ICLS	2020	DBLP BibTeX RDF
21	Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers	Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
21	Fábio Petrillo, Yann-Gaël Guéhéneuc, Marcelo Pimenta, Carla Maria Dal Sasso Freitas, Foutse Khomh	Swarm Debugging: the Collective Intelligence on Interactive Debugging.	CoRR	2019	DBLP BibTeX RDF
21	Fábio Petrillo, Yann-Gaël Guéhéneuc, Marcelo Pimenta, Carla Maria Dal Sasso Freitas, Foutse Khomh	Swarm debugging: The collective intelligence on interactive debugging.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
21	Eduardo A. Fontana, Fábio Petrillo	Visualizing sequences of debugging sessions using swarm debugging.	ICPC	2019	DBLP DOI BibTeX RDF
21	Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers	Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper).	ECOOP	2019	DBLP DOI BibTeX RDF
21	Tilman Michaeli, Ralf Romeike	Improving Debugging Skills in the Classroom: The Effects of Teaching a Systematic Debugging Process.	WiPSCE	2019	DBLP DOI BibTeX RDF
21	Simon Van Mierlo, Hans Vangheluwe	Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
21	Amir Masoud Gharehbaghi, Masahiro Fujita	A New Approach for Debugging Logic Circuits without Explicitly Debugging Their Functionality.	ATS	2016	DBLP DOI BibTeX RDF
21	Colleen M. Lewis, Chris Gregg	How Do You Teach Debugging?: Resources and Strategies for Better Student Debugging (Abstract Only).	SIGCSE	2016	DBLP DOI BibTeX RDF
21	Axel Böttcher, Veronika Thurner, Kathrin Schlierkamp, Daniela Zehetmeier	Debugging students' debugging process.	FIE	2016	DBLP DOI BibTeX RDF
21	Sara Abbaspour Asadollah, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, Hans A. Hansson	A model for systematic monitoring and debugging of starvation bugs in multicore software.	SCTDCP@ASE	2016	DBLP DOI BibTeX RDF
21	Mariano Ceccato, Alessandro Marchetto 0001, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella	Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency.	ACM Trans. Softw. Eng. Methodol.	2015	DBLP DOI BibTeX RDF
21	Mouna Hammoudi, Brian Burg, Gigon Bae, Gregg Rothermel	On the use of delta debugging to reduce recordings and facilitate debugging of web applications.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF