Search results for "debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Yossi Lichtenstein, Ehud Shapiro	Concurrent Algorithmic Debugging.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
89	Ghassan Misherghi, Zhendong Su 0001	HDD: hierarchical Delta Debugging.	ICSE	2006	DBLP DOI BibTeX RDF	delta debugging, automated debugging
87	Ziya Aral, Ilya Gertner	High-Level Debugging in Parasight.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
85	Ryan Chmiel, Michael C. Loui	Debugging: from novice to expert.	SIGCSE	2004	DBLP DOI BibTeX RDF	debugging, CS1, curriculum development, computer programming, code review
76	Rajeev K. Ranjan 0001, Claudionor Coelho, Sebastian Skalberg	Beyond verification: leveraging formal for debugging.	DAC	2009	DBLP DOI BibTeX RDF	behavioral indexing, post-silicon debugging, traceless debugging, formal verification, debugging, property verification
76	Jing Yang 0003, Mary Lou Soffa, Kamin Whitehouse	Effective source-level debugging of wireless sensor networks.	SenSys	2007	DBLP DOI BibTeX RDF	embedded debugging, wireless sensor networks, distributed debugging, source-level debugging
75	Stuart I. Feldman, Channing B. Brown	Igor: A System for Program Debugging via Reversible Execution.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
75	Bernhard Peischl, Franz Wotawa	Error traces in model-based debugging of hardware description languages.	AADEBUG	2005	DBLP DOI BibTeX RDF	conditional dependency, error trace, potential influence, fault localization, automated debugging, software debugging, source-level debugging
73	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
71	David D. Redell	Experience with Topaz TeleDebugging.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
70	Peter C. Bates	Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
67	Rachel Tzoref, Shmuel Ur, Elad Yom-Tov	Instrumenting where it hurts: an automatic concurrent debugging technique.	ISSTA	2007	DBLP DOI BibTeX RDF	feature selection, concurrency, debugging
67	Daniel Schulz, Frank Mueller 0001	A thread-aware debugger with an open interface.	ISSTA	2000	DBLP DOI BibTeX RDF	active debugging, open interface, concurrency, debugging, threads
64	Thomas G. Moher	PROVIDE: A Process Visualization and Debugging Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	process visualization environment, PROVIDE, University of Illinois, deferred-binding program animation, process history consistency maintenance, Macintosh workstations, VAX 11/780, 4.2 BSD Unix, computer graphics, programming environments, program debugging, program debugging, program execution, interactive computer graphics, debugging environment
64	Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini	Interactive Blackbox Debugging for Concurrent Languages.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
63	Swapna S. Gokhale, Michael R. Lyu, Kishor S. Trivedi	Incorporating fault debugging activities into software reliability models: a simulation approach.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
62	Lawrence Cabac, Till Dörges, Michael Duvigneau, Daniel Moldt	Requirements and Tools for the Debugging of Multi-Agent Systems.	MATES	2009	DBLP DOI BibTeX RDF	toolset, multi-agent systems, Debugging, requirements, Mulan
62	Olaf Chitil, Thomas Davie	Comprehending finite maps for algorithmic debugging of higher-order functional programs.	PPDP	2008	DBLP DOI BibTeX RDF	tracing, declarative debugging
62	Amy J. Ko, Brad A. Myers	Designing the whyline: a debugging interface for asking questions about program behavior.	CHI	2004	DBLP DOI BibTeX RDF	debugging, program slicing, Alice
61	Borislav Nikolik	Convergence debugging.	AADEBUG	2005	DBLP DOI BibTeX RDF	convergence hypothesis, test dispersion, test diversity, testing, debugging, convergence
60	Valentina Grigoreanu, James N. Brundage, Eric Bahna, Margaret M. Burnett, Paul ElRif, Jeffrey Snover	Males' and Females' Script Debugging Strategies.	IS-EUD	2009	DBLP DOI BibTeX RDF	Debugging Strategies, Debugging, Gender, Scripting
59	Hideyuki Tokuda, Makoto Kotera, Clifford W. Mercer	A Real-Time Monitor for a Distributed Real-Time Operating System.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
59	Andreas Zeller	Debugging debugging: acm sigsoft impact paper award keynote.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	delta debugging, automated debugging
58	Robert J. Fowler, Thomas J. LeBlanc, John M. Mellor-Crummey	An Integrated Approach to Parallel Program Debugging and Performance Analysis of Large-Scal Multiprocessors.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
58	Colin J. Fidge	Partial Orders for Parallel Debugging.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
58	Barton P. Miller, Jong-Deok Choi	A Mechanism for Efficient Debugging of Parallel Programs.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
57	Christian Schaubschläger, Dieter Kranzlmüller, Jens Volkert	Using Sequential Debugging Techniques with Massively Parallel Programs.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
57	Hoon-Joon Kouh, Weon-Hee Yoo	The Efficient Debugging System for Locating Logical Errors in Java Programs.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
57	Wenwey Hseush, Gail E. Kaiser	Data Path Debugging: Data-Oriented Debugging for a Concurrent Programming Language.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
56	Qing Cao, Tarek F. Abdelzaher, John A. Stankovic, Kamin Whitehouse, Liqian Luo	Declarative tracepoints: a programmable and application independent debugging system for wireless sensor networks.	SenSys	2008	DBLP DOI BibTeX RDF	declarative tracepoints, embedded debugging, wireless sensor networks
56	Amy J. Ko	Debugging by asking questions about program output.	ICSE	2006	DBLP DOI BibTeX RDF	whyline, debugging, program comprehension, direct manipulation, program understanding, errors, faults, slicing, assumptions, questions, hypotheses
56	Peter Bunus, Peter Fritzson	A Debugging Scheme for Declarative Equation Based Modeling Languages.	PADL	2002	DBLP DOI BibTeX RDF	Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica
56	Takayuki Wakabayashi, Hiroaki Takada	Standardization approach of ITRON debugging interface specification and evaluation of its adaptability.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	ITRON specification, OS-aware debugging environment, cross development system environment
56	Yuhai Ma, Wanchun Shi	Intelligent Analysis and Off-Line Debugging of VLSI Device Test Programs.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	error type, off-line debugging environment, FCE (Fuzzy Comprehensive Evaluation), reference set, evaluation space, evaluation factor, evaluation remark, test entity, relevance coefficient, fuzzy set, fuzzy relation, test program
56	Paul T. Brady	Writing an online debugging program for the experienced user.	Commun. ACM	1968	DBLP DOI BibTeX RDF	utility program, debugging, programming languages
55	Adrian Pop, Peter Fritzson	Debugging natural semantics specifications.	AADEBUG	2005	DBLP DOI BibTeX RDF	logical functional languages, proof-trees, debugging, rule-based
54	Eui Hyun Paik, Young-Sik Chung, Byung-Sun Lee, Chae Woo Yoo	A concurrent program debugging environment using real-time replay.	ICPADS	1997	DBLP DOI BibTeX RDF	concurrent program debugging environment, real-time replay, error-occurred execution, event history file, program debugging, process scheduling, message latencies
54	Miodrag Potkonjak, Sujit Dey, Kazutoshi Wakabayashi	Design-for-debugging of application specific designs.	ICCAD	1995	DBLP DOI BibTeX RDF	debugging requirements, scheduling, computational complexity, combinatorial optimization, controllability, high level synthesis, design for testability, observability, application specific integrated circuits, circuit CAD, hardware support, polynomial time complexity, Design-for-Debugging, synthesis algorithm
54	Gopal Chillariga, Balkrishna Ramkumar	Performance prediction for portable parallel execution on MIMD architectures.	IPPS	1995	DBLP DOI BibTeX RDF	portable parallel execution, parallel program development, simulation based approach, portable-parallel programs, Charm, message driven programming environment, program portability, MIMD parallel systems, single debugging environment, portable parallel software, parallel programming, parallel architectures, feedback, program verification, performance prediction, parallel systems, program debugging, software portability, program correctness, performance debugging, performance bottlenecks, MIMD architectures, program performance
53	Joseph L. Sharnowski, Betty H. C. Cheng	A visualization-based environment for top-down debugging of parallel programs.	IPPS	1995	DBLP DOI BibTeX RDF	visualization-based environment, top-down debugging, parallel debugging environment, GOLD, program state, causal distributed breakpoint, parallel programming, parallel programs, data visualisation, program debugging, structured approach
52	Alessandro Forin	Debugging of Heterogeneous Parallel Systems.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
52	Robert V. Rubin, Larry Rudolph, Dror Zernik	Debugging Parallel Programs in Parallel.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
51	Michael D. Beynon, Henrique Andrade, Joel H. Saltz	Low-Cost Non-Intrusive Debugging Strategies for Distributed Parallel Programs.	CLUSTER	2002	DBLP DOI BibTeX RDF
51	Andreas Zeller	Automated Debugging: Are We Close.	Computer	2001	DBLP DOI BibTeX RDF
51	P. Burgess, Mike Livesey, Colin Allison	Debugging and Dynamic Modification of Embedded Systems.	HICSS (1)	1996	DBLP DOI BibTeX RDF
50	Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Alan Peisheng Su	NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core.	DAC	2009	DBLP DOI BibTeX RDF	architecture, debugging, many-core, race detection
50	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
50	Neeraja Subrahmaniyan, Laura Beckwith, Valentina Grigoreanu, Margaret M. Burnett, Susan Wiedenbeck, Vaishnavi Narayanan, Karin Bucht, Russell Drummond, Xiaoli Z. Fern	Testing vs. code inspection vs. what else?: male and female end users' debugging strategies.	CHI	2008	DBLP DOI BibTeX RDF	debugging, gender, end-user programming, strategy, end-user software engineering
50	Cory Kissinger, Margaret M. Burnett, Simone Stumpf, Neeraja Subrahmaniyan, Laura Beckwith, Sherry Yang, Mary Beth Rosson	Supporting end-user debugging: what do users want to know?	AVI	2006	DBLP DOI BibTeX RDF	end-user debugging, end-user programming, end-user development, end-user software engineering, online help
50	Laura Beckwith, Cory Kissinger, Margaret M. Burnett, Susan Wiedenbeck, Joseph Lawrance, Alan F. Blackwell, Curtis R. Cook	Tinkering and gender in end-user programmers' debugging.	CHI	2006	DBLP DOI BibTeX RDF	surprise-explain-reward, tinkering, debugging, gender, end-user programming, end-user software engineering, self-efficacy
50	T. J. Robertson, Shrinu Prabhakararao, Margaret M. Burnett, Curtis R. Cook, Joseph R. Ruthruff, Laura Beckwith, Amit Phalgune	Impact of interruption style on end-user debugging.	CHI	2004	DBLP DOI BibTeX RDF	surprise-explain-reward, debugging, interruptions, end-user programming, end-user software engineering
50	Min Xie 0001, Bo Yang 0011	A Study of the Effect of Imperfect Debugging on Software Development Cost.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	development cost, imperfect debugging, testing level, Software reliability, testing optimization
48	Valentina Grigoreanu, Margaret M. Burnett, George G. Robertson	A strategy-centric approach to the design of end-user debugging tools.	CHI	2010	DBLP DOI BibTeX RDF	debugging strategies, tool design, end-user software engineering, debugging tools
48	João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski	An integrated testing and debugging environment for parallel and distributed programs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment
48	Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid	Debugging Concurrent Ada Programs by Deterministic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	synchronisation sequences, concurrent Ada programs, deterministic execution debugging, Ada language constructs, SYN-sequences, sufficient information, previous executions, parallel programming, Ada, tools, transformation, program debugging, program execution
46	Suresh K. Damodaran-Kamal, Joan M. Francioni	Nondeterminacy: Testing and Debugging in Message Passing Parallel Programs.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
46	Thomas Kunz	Process Clustering for Distributed Debugging.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
46	M. Timmerman, Frank Gielen, Patrick Lambrix	High Level Tools for the Debugging of Real-Time Multiprocessor Systems.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF	Prolog
46	Doug Kimelman, Dror Zernik	On-the-Fly Topological Sort - A Basis for Interactive Debugging and Live Visualization of Parallel Programs.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
46	Robert H. B. Netzer	Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
46	Mark Crovella, Thomas J. LeBlanc	Performance Debugging using Parallel Performance Predicates.	Workshop on Parallel and Distributed Debugging	1993	DBLP DOI BibTeX RDF
46	Barton P. Miller, Charles E. McDowell	Summary of ACM/ONR Workshop on Parallel and Distributed Debugging.	Workshop on Parallel and Distributed Debugging	1991	DBLP BibTeX RDF
46	Patricia Prather Pineo, Mary Lou Soffa	Debugging Parallelized Code Using Code Liberation Techniques.	Workshop on Parallel and Distributed Debugging	1991	DBLP DOI BibTeX RDF
46	Robert Cohn	Source Level Debugging of Automatically Parallelized Code.	Workshop on Parallel and Distributed Debugging	1991	DBLP DOI BibTeX RDF
46	Joan M. Francioni, Larry Albright, Jay Alan Jackson	Debugging Parallel Programs Using Sound.	Workshop on Parallel and Distributed Debugging	1991	DBLP DOI BibTeX RDF
46	Dror Zernik, Larry Rudolph	Animating Work and Time for Debugging Parallel Programs - Foudations and Experience.	Workshop on Parallel and Distributed Debugging	1991	DBLP DOI BibTeX RDF
46	Chu-Chung Lin, Richard J. LeBlanc	Event-Based Debugging of Object/Action Programs.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
46	E. Jane Cameron, David M. Cohen	The IC* System for Debugging Parallel Programs via Interactive Monitoring and Control.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
46	Larry D. Wittie	Debugging Distributed C Programs by Real Time Replay.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF	C
46	William F. Appelbe, Charles E. McDowell	Integrating Tools for Debugging and Developing Multitask Programs.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
46	David P. Helmbold, Charles E. McDowell	Computing Reachable States of Parallel Programs.	Workshop on Parallel and Distributed Debugging	1991	DBLP DOI BibTeX RDF	parallel processing, debugging, static program analysis
46	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	Accurate Rank Ordering of Error Candidates for Efficient HDL Design Debugging.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
46	Salman Mirghasemi	Query-point debugging.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	dynamic breakpoint assignment, locating defects, query, program traces, execution monitoring
46	Dan Hao 0001, Lingming Zhang 0001, Lu Zhang 0023, Jiasu Sun, Hong Mei 0001	VIDA: Visual interactive debugging.	ICSE	2009	DBLP DOI BibTeX RDF
46	Cyrille Artho	Iterative Delta Debugging.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
46	Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez	A Theoretical Framework for the Declarative Debugging of Datalog Programs.	SDKB	2008	DBLP DOI BibTeX RDF
46	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco	Automating post-silicon debugging and repair.	ICCAD	2007	DBLP DOI BibTeX RDF
46	Marc Eaddy, Alfred V. Aho, Weiping Hu, Paddy McDonald, Julian Burger	Debugging Aspect-Enabled Programs.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
46	Hoon-Joon Kouh, Ki-Tae Kim, Sun-Moon Jo, Weon-Hee Yoo	Debugging of Java Programs Using HDT with Program Slicing.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
46	Wei Wang 0076, Binxing Fang, Hongli Zhang 0001, Yuanzhe Yao	Ad Hoc Debugging Environment for Grid Applications.	GCC	2004	DBLP DOI BibTeX RDF
46	Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus	Debugging temporal specifications with concept analysis.	PLDI	2003	DBLP DOI BibTeX RDF	specification debuggers, hierarchical clustering, concept analysis, temporal specifications
46	Hoon-Joon Kouh, Weon-Hee Yoo	Automated Debugging in Java Programs Using HDM.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
46	Darko Kirovski, Miodrag Potkonjak, Lisa M. Guerra	Cut-based functional debugging for programmable systems-on-chip.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
46	Henrik Thane, Hans Hansson	Using deterministic replay for debugging of distributed real-time systems.	ECRTS	2000	DBLP DOI BibTeX RDF
46	Darko Kirovski, Miodrag Potkonjak, Lisa M. Guerra	Improving the observability and controllability of datapaths foremulation-based debugging.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
45	André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler	Using unsatisfiable cores to debug multiple design errors.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	sat-based debugging, unsatisfiable core, fault localization
45	Hui Wu, Jeff Gray 0001	Testing domain-specific languages in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, eclipse, grammar
44	Myeong-Chul Park, Young-Joo Kim, Ingeol Chun, Seok-Wun Ha, Yong-Kee Jun	A GDB-Based Real-Time Tracing Tool for Remote Debugging of SoC Programs.	ICHIT	2006	DBLP DOI BibTeX RDF	SoC Program, GDB, Remote Debugging, Real-time Tracing, JTAG
44	Andreas Stefik, Kelly Fitz, Roger T. Alexander	Layered Program Auralization: Using Music to Increase Runtime Program Comprehension and Debugging Effectiveness.	ICPC	2006	DBLP DOI BibTeX RDF	sonified debugging, layered program auralization, testing, Fault detection, music
44	Josep Silva, Olaf Chitil	Combining algorithmic debugging and program slicing.	PPDP	2006	DBLP DOI BibTeX RDF	algorithmic debugging, program slicing
44	Gabor Gombás, Csaba Attila Marosi, Zoltán Balaton	Grid Application Monitoring and Debugging Using the Mercury Monitoring System.	EGC	2005	DBLP DOI BibTeX RDF	remote debugging, Grid, MPI, performance monitoring
44	Franz Wotawa	Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	debugging hardware designs, modeling for diagnosis, model-based diagnosis
44	W. Eric Wong, Tatiana Sugeta, Yu Qi, José Carlos Maldonado	Smart Debugging Software Architectural Design in SDL.	COMPSAC	2003	DBLP DOI BibTeX RDF	SmartDSDL, testing, debugging, fault detection, SDL, architectural design, execution slice
44	Dieter Kranzlmüller	DeWiz - Event-Based Debugging on the Grid.	PDP	2002	DBLP DOI BibTeX RDF	grid computing, debugging, error detection, event graph
44	Tibor Gyimóthy, Árpád Beszédes, István Forgács	An Efficient Relevant Slicing Method for Debugging.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	relevant slicing, debugging, Dynamic slicing
44	Margaret Ann Francel, Spencer Rugaber	The Relationship of Slicing and Debugging to Program Understanding.	IWPC	1999	DBLP DOI BibTeX RDF	reverse engineering, debugging, Program slicing
44	Peter C. Bates	Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF	debugging, events, behavior modeling
44	Beatrice Lazzerini, Lanfranco Lopriore	Abstraction Mechanisms for Event Control in Program Debugging.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	event control, program entities, program statements, program debugginga, data structures, monitoring, program debugging, conditionals, abstraction mechanisms
44	Ziad Al-Sharif, Clinton L. Jeffery	An extensible source-level debugger.	SAC	2009	DBLP DOI BibTeX RDF	automatic debugging, debugging agent, monitoring framework, source level debugger
42	Chris Gottbrath	Bringing Reverse Debugging to HPC.	PVM/MPI	2009	DBLP DOI BibTeX RDF	record and replay debugging, MPI debugging, troubleshooting