Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Ludovic Langevine, Mireille Ducassé	A tracer driver for hybrid execution analyses.	AADEBUG	2005	DBLP DOI BibTeX RDF	tracer, visualization, monitoring, debugging
21	David Kortenkamp, Reid G. Simmons, Tod Milam, Joaquín Lopez Fernández	A Suite of Tools for Debugging Distributed Autonomous Systems.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	distributed data logging, verification of distributed control programs, debugging autonomous systems, data visualization, run-time verification, interval logic
21	Tankut Akgul, Vincent John Mooney III	Assembly instruction level reverse execution for debugging.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	reverse code generation, reverse execution, Debugging
21	Camil Demetrescu, Irene Finocchi	A portable virtual machine for program debugging and directing.	SAC	2004	DBLP DOI BibTeX RDF	directors, virtual machines, debugging, reversible computing
21	Markus Gälli, Michele Lanza, Oscar Nierstrasz, Roel Wuyts	Ordering Broken Unit Tests for Focused Debugging.	ICSM	2004	DBLP DOI BibTeX RDF	debugging, Unit testing
21	Marcos Kawazoe Aguilera, Jeffrey C. Mogul, Janet L. Wiener, Patrick Reynolds, Athicha Muthitacharoen	Performance debugging for distributed systems of black boxes.	SOSP	2003	DBLP DOI BibTeX RDF	black box systems, distributed systems, performance analysis, performance debugging
21	Tankut Akgul, Vincent John Mooney	Instruction-level reverse execution for debugging.	PASTE	2002	DBLP DOI BibTeX RDF	reverse code generation, reverse execution, debugging
21	Noritaka Osawa, Hisaya Morita, Toshitsugu Yuba	Animation for Performance Debugging of Parallel Computing Systems.	VRML	1997	DBLP DOI BibTeX RDF	VRML 2.0, parallel program, VRML, dynamic system, performance debugging
21	Ronan Gaugne	A Static Analysis for Program Understanding and Debugging.	ASE	1997	DBLP DOI BibTeX RDF	static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
21	Jong-Deok Choi, Barton P. Miller, Robert H. B. Netzer	Techniques for Debugging Parallel Programs with Flowback Analysis.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	flowback analysis, incremental tracing, parallel program, debugging, semantic analysis, program dependence graph
21	Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi	A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	real-time software testing, recorded execution history, noninterference monitoring architecture, program execution data, target real-time software system, replay mechanism, Motorola 68000 computer, Unix system environment, real-time software systems, real-time systems, program testing, program debugging, monitoring system, program behavior, timing errors
21	Thomas J. LeBlanc, John M. Mellor-Crummey	Debugging Parallel Programs with Instant Replay.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	CREW protocols, execution replay, parallel programming, shared objects, distributed debugging, program instrumentation
21	Glenford J. Myers, David G. Hocker	The Use of Software Simulators in the Testing and Debugging of Microprogram Logic.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	testing, Debugging, microprogramming, processor simulation
20	Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan	Semantics-aware trace analysis.	PLDI	2009	DBLP DOI BibTeX RDF	semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids
20	B. Robert Helm, Allen D. Malony, Stephen Fickas	Capturing and automating performance diagnosis: the Poirot approach.	IPPS	1995	DBLP DOI BibTeX RDF	Poirot, diagnosis methods, knowledge-based diagnosis, software engineering, parallel programming, software performance evaluation, program debugging, performance tools, performance debugging, diagnostic expert systems, performance diagnosis
20	Vijay K. Garg, Brian Waldecker	Detection of Weak Unstable Predicates in Distributed Programs.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	programtesting, weak unstable predicates, weakconjunctive predicates, distributed debugger, testing, distributed algorithms, debugging, Unix, UNIX, communication complexity, distributed programs, distributed memory systems, program debugging, message complexity, Sun workstations, global predicates
20	Mohan Ahuja, Timothy Carlson, Ashwani Gahlot	Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	time view, passive-space view, intraprocess concurrency, global logical clocks, distributed computing, distributed computations, debugging, distributed processing, concurrency control, high performance, program debugging, timestamps, vector clocks, program correction, sequential computations
20	Yoshihiro Tohma, Kenshin Tokunaga, Shinji Nagase, Yukihisa Murata	Structural Approach to the Estimation of the Number of Residual Software Faults Based on the Hyper-Geometric Distribution.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	residual software faults, hyper-geometric distribution, segmentation technique, composite estimation, growth curve, debugging, software reliability, software reliability, statistical analysis, programming theory, program debugging, hypergeometric distribution
20	Gene Fisher	An Overview of a Graphical Multilanguage Applications Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications
17	Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle	KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.	IPSN	2010	DBLP DOI BibTeX RDF	automated protocol testing, wireless sensor networks, experimentation, failure detection
17	Dennis Jeffrey, Min Feng 0001, Neelam Gupta, Rajiv Gupta 0001	BugFix: A learning-based tool to assist developers in fixing bugs.	ICPC	2009	DBLP DOI BibTeX RDF
17	Chin-Yu Huang, Wei-Chih Huang	Software Reliability Analysis and Measurement Using Finite and Infinite Server Queueing Models.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
17	Sai Zhang 0001, Yu Lin, Zhongxian Gu, Jianjun Zhao 0001	Effective identification of failure-inducing changes: a hybrid approach.	PASTE	2008	DBLP DOI BibTeX RDF
17	Liang Bao, Sheng Chen 0002, Xiyang Liu, Shengming Hu, Ping Chen	Towards a Reversible BPEL Debugger.	ICWS	2008	DBLP DOI BibTeX RDF
17	André V. Fidalgo, Gustavo R. Alves, Manuel G. Gericota, José Manuel Martins Ferreira	A comparative analysis of fault injection methods via enhanced on-chip debug infrastructures.	SBCCI	2008	DBLP DOI BibTeX RDF	real time systems, dependability, fault injection
17	Xiaoxing Gao, Xueyong Li, Xu Han	Studying and Implementation of Embedded System's Code Replacement Technique.	CSSE (4)	2008	DBLP DOI BibTeX RDF
17	Valentina Grigoreanu, Jill Cao, Todd Kulesza, Christopher Bogart, Kyle Rector, Margaret M. Burnett, Susan Wiedenbeck	Can feature design reduce the gender gap in end-user software development environments?	VL/HCC	2008	DBLP DOI BibTeX RDF
17	Max R. de O. Schultz, Alexandre Keunecke Ignácio Mendonça, Felipe G. Carvalho, Olinto J. V. Furtado, Luiz C. V. dos Santos	A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems.	SAMOS	2007	DBLP DOI BibTeX RDF
17	Stephen F. Siegel	Verifying Parallel Programs with MPI-Spin.	PVM/MPI	2007	DBLP DOI BibTeX RDF
17	Magnus Strengert, Thomas Klein, Thomas Ertl	A hardware-aware debugger for the OpenGL shading language.	Graphics Hardware	2007	DBLP DOI BibTeX RDF
17	Christian Genz, Rolf Drechsler, Gerhard Angst, Lothar Linhard	Visualization of SystemC Designs.	ISCAS	2007	DBLP DOI BibTeX RDF
17	Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer 0001	Efficient unit test case minimization.	ASE	2007	DBLP DOI BibTeX RDF	unit testing, minimization, slicing
17	Nuno Lau, Luís Paulo Reis, João Certo	Understanding Dynamic Agent's Reasoning.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
17	Milos Prvulovic	CORD: cost-effective (and nearly overhead-free) order-recording and data race detection.	HPCA	2006	DBLP DOI BibTeX RDF
17	Haixia Wang 0001, Dongsheng Wang 0002, Peng Li 0031	Acceleration Techniques for Chip-Multiprocessor Simulator Debug.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
17	Stefan Andrei, Albert Mo Kim Cheng	Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension.	RTSS	2006	DBLP DOI BibTeX RDF
17	Wei-Chih Huang, Chin-Yu Huang, Chuan-Ching Sue	Software Reliability Prediction and Assessment Using both Finite and Infinite Server Queueing Approaches.	PRDC	2006	DBLP DOI BibTeX RDF
17	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
17	Rolf Drechsler, Görschwin Fey, Christian Genz, Daniel Große	SyCE: An Integrated Environment for System Design in SystemC.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
17	Marsha Chechik, Arie Gurfinkel	A Framework for Counterexample Generation and Exploration.	FASE	2005	DBLP DOI BibTeX RDF
17	Pin Zhou, Wei Liu 0014, Long Fei, Shan Lu 0001, Feng Qin, Yuanyuan Zhou 0001, Samuel P. Midkiff, Josep Torrellas	AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.	MICRO	2004	DBLP DOI BibTeX RDF
17	Jonathan Noel Tombs, Miguel Angel Aguirre Echánove, Fernando Muñoz 0001, Vicente Baena Lecuyer, Antonio Jesús Torralba Silgado, A. Fernandez-León, Francisco Tortosa	The Implementation of a FPGA Hardware Debugger System with Minimal System Overhead.	FPL	2004	DBLP DOI BibTeX RDF
17	Rohit N. Kundaji, R. K. Shyamasundar	Development of Semantic Debuggers Based on Refinement Calculus.	ICLP	2004	DBLP DOI BibTeX RDF
17	Debashis Nayak, Srikanth Venkataraman, Paul J. Thadikaran	Razor: A Tool for Post-Silicon Scan ATPG Pattern Debug and Its Application.	VTS	2004	DBLP DOI BibTeX RDF
17	Yukio Okuda	Panel Synopsis - Diagnosis Meets Physical Failure Analysis: How Long Can We Succeed?	ITC	2004	DBLP DOI BibTeX RDF
17	Clinton Jeffery, Mikhail Auguston, Scott Underwood	Towards Fully Automatic Execution Monitoring.	RISSEF	2002	DBLP DOI BibTeX RDF
17	María Alpuente, Marco Comini, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas	Abstract Diagnosis of Functional Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
17	Tobias Müller	Practical Investigation of Constraints with Graph Views.	CP	2000	DBLP DOI BibTeX RDF
17	Gustavo R. Alves, José Manuel Martins Ferreira	From Design-for-Test to Design-for-Debug-and-Test: Analysis of Requirements and Limitations for 1149.1.	VTS	1999	DBLP DOI BibTeX RDF
17	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
17	Hee-Dong Park, Yong-Kee Jun	Detecting the First Races in Parallel Programs with Ordered Synchronization.	ICPADS	1998	DBLP DOI BibTeX RDF
17	Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003	Error-Correcting Source Code.	CP	1998	DBLP DOI BibTeX RDF
17	Sekhar R. Sarukkai, A. Beers	Monitoring Data-Structure Evolution in Distributed Message-Passing Programs.	HICSS (1)	1996	DBLP DOI BibTeX RDF
17	Marc Khouzam, Thomas Kunz	Single stepping in event-visualization tools.	CASCON	1996	DBLP BibTeX RDF
17	Philip W. Hall IV	Parsing with C++ Constructors.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C++
17	Baowen Xu	CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
17	Thomas R. Riedl, Julian S. Weitzenfeld, Jared T. Freeman, Gary A. Klein, John D. Musa	What We Have Learned About Software Engineering Expertise.	CSEE	1991	DBLP DOI BibTeX RDF
17	Ziya Aral, Ilya Gertner	Parasight: a high-level debugger/profiler architecture for shared-memory multiprocessor.	ICS	1988	DBLP DOI BibTeX RDF
17	Ziya Aral, Ilya Gertner	Non-Intrusive and Interactive Profiling in Parasight.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF
17	Norman M. Delisle, David E. Menicosy, Mayer D. Schwartz	Viewing a Programming Environment as a Single Tool.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	Pascal, Smalltalk
16	Richard Huber, Philipp Sommer, Roger Wattenhofer	Demo abstract: Debugging wireless sensor network simulations with YETI and COOJA.	IPSN	2011	DBLP BibTeX RDF
16	Jyh-Da Wei, Ming-Hung Tsai, Gen-Cher Lee, Jeng-Hung Huang, Der-Tsai Lee	GeoBuilder: A Geometric Algorithm Visualization and Debugging System for 2D and 3D Geometric Computing.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
16	Emilio Serrano, Juan A. Botía Blaya, José Manuel Cadenas	Construction and Debugging of a Multi-Agent Based Simulation to Study Ambient Intelligence Applications.	IWANN (1)	2009	DBLP DOI BibTeX RDF
16	Robert Könighofer, Georg Hofferek, Roderick Bloem	Debugging formal specifications using simple counterstrategies.	FMCAD	2009	DBLP DOI BibTeX RDF
16	Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, Martin Schulz 0001	Scalable temporal order analysis for large scale debugging.	SC	2009	DBLP DOI BibTeX RDF
16	Ivo Swartjes, Mariët Theune	Iterative Authoring Using Story Generation Feedback: Debugging or Co-creation?	ICIDS	2009	DBLP DOI BibTeX RDF	methodology, authoring, Interactive storytelling, co-creation
16	Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter	MulticoreSDK: a practical and efficient data race detector for real-world applications.	PADTAD	2009	DBLP DOI BibTeX RDF	concurrent program analysis, multicore platform, data race detection
16	Freya H. Lin, Timothy K. Shih	Automatic Trap Detection: A Debugging Mechanism for Abnormal Specification in the IMS Sequencing Controls.	IEEE Trans. Learn. Technol.	2008	DBLP DOI BibTeX RDF
16	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco	Automating Postsilicon Debugging and Repair.	Computer	2008	DBLP DOI BibTeX RDF
16	Robert Schaefer	Debugging debugged, a metaphysical manifesto of systems integration.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF
16	Bart Vermeulen, Kees Goossens, Siddharth Umrani	Debugging Distributed-Shared-Memory Communication at Multiple Granularities in Networks on Chip.	NOCS	2008	DBLP DOI BibTeX RDF	communication-centric debug, debug, network-on-chip, design for debug
16	Basile Schaeli, Ali Al-Shabibi, Roger D. Hersch	Visual Debugging of MPI Applications.	PVM/MPI	2008	DBLP DOI BibTeX RDF
16	Kevin Camera, Robert W. Brodersen	An integrated debugging environment for FPGA computing platforms.	FPGA	2008	DBLP DOI BibTeX RDF	simulation, FPGA, design, verification
16	Husain Aljazzar, Stefan Leue	Debugging of Dependability Models Using Interactive Visualization of Counterexamples.	QEST	2008	DBLP DOI BibTeX RDF
16	Kevin Camera, Robert W. Brodersen	An integrated debugging environment for FPGA computing platforms.	FPL	2008	DBLP DOI BibTeX RDF
16	Zhenyu Zhang 0004, Bo Jiang 0001, W. K. Chan 0001, T. H. Tse	Debugging through Evaluation Sequences: A Controlled Experimental Study.	COMPSAC	2008	DBLP DOI BibTeX RDF	evaluation sequence, fault localization
16	Robin Abraham, Martin Erwig	Test-driven goal-directed debugging in spreadsheets.	VL/HCC	2008	DBLP DOI BibTeX RDF
16	Thomas Dreibholz, Erwin P. Rathgeb	A powerful tool-chain for setup, distributed processing, analysis and debugging of OMNeT++ simulations.	SimuTools	2008	DBLP DOI BibTeX RDF	simulation run distribution, analysis, simulation model, parametrization, plotting
16	David Pizzi, Marc Cavazza	From Debugging to Authoring: Adapting Productivity Tools to Narrative Content Description.	ICIDS	2008	DBLP DOI BibTeX RDF	Character-based Storytelling, Planning, Authoring Tools, Content Creation
16	Basile Schaeli, Roger D. Hersch	Dynamic testing of flow graph based parallel applications.	PADTAD	2008	DBLP DOI BibTeX RDF
16	Madan Musuvathi	Systematic concurrency testing using CHESS.	PADTAD	2008	DBLP DOI BibTeX RDF	testing, concurrency, race conditions
16	Vijay Nagarajan, Rajiv Gupta 0001	Support for symmetric shadow memory in multiprocessors.	PADTAD	2008	DBLP DOI BibTeX RDF	symmetric shadow memory, monitoring
16	Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee 0001, Todd C. Mowry	Distributed Watchpoints: Debugging Large Multi-Robot Systems.	ICRA	2007	DBLP DOI BibTeX RDF
16	Guru Venkataramani, Brandyn Roemer, Yan Solihin, Milos Prvulovic	MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging.	HPCA	2007	DBLP DOI BibTeX RDF
16	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Debugging and Troubleshooting.	All About Maude	2007	DBLP DOI BibTeX RDF
16	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
16	Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supinski, Gregory L. Lee, Barton P. Miller, Martin Schulz 0001	Stack Trace Analysis for Large Scale Debugging.	IPDPS	2007	DBLP DOI BibTeX RDF
16	Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun	Efficient Race Verification for Debugging Programs with OpenMP Directives.	PaCT	2007	DBLP DOI BibTeX RDF	OpenMP directive, protocol scheme, verification, labeling scheme, races
16	Joaquín Entrialgo, Javier García 0002, José Luis Díaz, Daniel F. García	Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
16	Rick Chern, Kris De Volder	Debugging with control-flow breakpoints.	AOSD	2007	DBLP DOI BibTeX RDF	debugger interface, pointcut language, case studies
16	David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu 0001	Statistical Debugging Using Latent Topic Models.	ECML	2007	DBLP DOI BibTeX RDF
16	James A. Clause, Alessandro Orso	A Technique for Enabling and Supporting Debugging of Field Failures.	ICSE	2007	DBLP DOI BibTeX RDF
16	Samarjit Chakraborty, Abhik Roychoudhury	Tutorial T8B: Performance Debugging of Complex Embedded Systems.	VLSI Design	2007	DBLP DOI BibTeX RDF
16	Mi-Young Park, Seok Young Kim, Hyuk-Ro Park	Visualization of Affect-Relations of Message Races for Debugging MPI Programs.	GrC	2007	DBLP DOI BibTeX RDF
16	Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby	Semantics driven dynamic partial-order reduction of MPI-based parallel programs.	PADTAD	2007	DBLP DOI BibTeX RDF	concurrent program semantics, transition independence, model checking, MPI, partial-order reduction
16	Chia-Chih Yen, Jing-Yang Jou	An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	simulation, Verification, diagnosis, satisfiability, error checking
16	Lami Kaya, Mohammad Al-Qudah	Debugging Trellis Decoding of Augmented RAC Array Codes Using a Visual Tool.	CGIV	2006	DBLP DOI BibTeX RDF
16	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
16	Nobuyuki Ohba, Kohji Takano	Hardware debugging method based on signal transitions and transactions.	ASP-DAC	2006	DBLP DOI BibTeX RDF
16	Cara Winterbottom, Edwin H. Blake, James E. Gain	Using Visualizations to Support Design and Debugging in Virtual Reality.	ISVC (1)	2006	DBLP DOI BibTeX RDF