Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Lami Kaya, Mohammad Al-Qudah	Error Pattern Analysis of Augmented Array Codes Using a Visual Debugging Tool.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
16	Hao Liu, Feodor S. Vainstein	Animation of control flow for low-level debugging.	SOFTVIS	2006	DBLP DOI BibTeX RDF
16	Charles S. Shorb	Debugging Computer History: My Summer with the Atanasoff-Berry Computer.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
16	Jeffrey C. Carver, Marc Fisher II, Gregg Rothermel	An empirical evaluation of a testing and debugging methodology for Excel.	ISESE	2006	DBLP DOI BibTeX RDF	empirical study, end-user software engineering, human subjects
16	Wei-Hsiang Cheng, Chin-Lung Chuang, Chien-Nan Jimmy Liu	An efficient mechanism to provide full visibility for hardware debugging.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Thippaya Chintakovid, Susan Wiedenbeck, Margaret M. Burnett, Valentina Grigoreanu	Pair Collaboration in End-User Debugging.	VL/HCC	2006	DBLP DOI BibTeX RDF
16	Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han	Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools.	EUC	2006	DBLP DOI BibTeX RDF
16	Michael Rudgyard	Software tools II - Novel techniques for debugging and optimizing parallel applications.	SC	2006	DBLP DOI BibTeX RDF
16	Christopher Gottbrath	Software tools II - Debugging code written for Multi-Core chip architectures.	SC	2006	DBLP DOI BibTeX RDF
16	Richard W. Vuduc, Martin Schulz 0001, Daniel J. Quinlan, Bronis R. de Supinski, Andreas Sæbjørnsen	Improving distributed memory applications testing by message perturbation.	PADTAD	2006	DBLP DOI BibTeX RDF	MPI profiling, interposition layer
16	Nithya Ramanathan, Eddie Kohler, Deborah Estrin	Towards a debugging system for sensor networks.	Int. J. Netw. Manag.	2005	DBLP DOI BibTeX RDF
16	Alexander Smith 0001, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas	Fault diagnosis and logic debugging using Boolean satisfiability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
16	Hai Wang 0014, Matthew Horridge, Alan L. Rector, Nick Drummond, Julian Seidenberg	Debugging OWL-DL Ontologies: A Heuristic Approach.	ISWC	2005	DBLP DOI BibTeX RDF
16	Yu-Shen Yang, Andreas G. Veneris, Paul J. Thadikaran, Srikanth Venkataraman	Extraction Error Modeling and Automated Model Debugging in High-Performance Low Power Custom Designs.	DATE	2005	DBLP DOI BibTeX RDF
16	Yoshiyuki Usui, Shigeru Chiba	Bugdel: An Aspect-Oriented Debugging System.	APSEC	2005	DBLP DOI BibTeX RDF
16	David Krahl	Debugging simulation models.	WSC	2005	DBLP DOI BibTeX RDF
16	Roman Bednarik, Markku Tukiainen	Effects of display blurring on the behavior of novices and experts during program debugging.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	experimental tools, visual attention, psychology of programming, eye-movement tracking
16	Curtis W. Keller, Diptikalyan Saha, Samik Basu 0001, Scott A. Smolka	FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.	TACAS	2005	DBLP DOI BibTeX RDF
16	Pierangelo Dell'Acqua, Luís Moniz Pereira	Preference Revision Via Declarative Debugging.	EPIA	2005	DBLP DOI BibTeX RDF
16	Juan-Carlos Ruiz-Garcia, José Carlos Campelo, Pedro J. Gil, Juan Pardo	On-chip Debugging-based Fault Emulation for Robustness Evaluation of Embedded Software Components.	PRDC	2005	DBLP DOI BibTeX RDF
16	Mark B. Trakhtenbrot	Use of Verification for Testing and Debugging of Complex Reactive Systems.	SEFM	2005	DBLP DOI BibTeX RDF
16	Yoonsik Cheon, Gary T. Leavens	A contextual interpretation of undefinedness for runtime assertion checking.	AADEBUG	2005	DBLP DOI BibTeX RDF	undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
16	Alex Shye, Matthew Iyer, Vijay Janapa Reddi, Daniel A. Connors	Code coverage testing using hardware performance monitoring support.	AADEBUG	2005	DBLP DOI BibTeX RDF	software testing, code coverage, hardware performance monitoring
16	Chin-Lung Chuang, Dong-Jung Lu, Chien-Nan Jimmy Liu	A Snapshot Method to Provide Full Visibility for Functional Debugging Using FPGA.	Asian Test Symposium	2004	DBLP DOI BibTeX RDF
16	Wes Masri, Andy Podgurski, David Leon	Detecting and Debugging Insecure Information Flows.	ISSRE	2004	DBLP DOI BibTeX RDF
16	Rafael Caballero 0001, Mario Rodríguez-Artalejo	DDT: a Declarative Debugging Tool for Functional-Logic Languages.	FLOPS	2004	DBLP DOI BibTeX RDF
16	Fumihiko Ino, Kenichi Hagihara	A Performance Analysis Tool for Performance Debugging of Message Passing Parallel Programs.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
16	Yi Pan, Norihiro Abe, Kazuaki Tanaka, Hirokazu Taki	The Virtual Debugging System for Developing Embedded Software Using Virtual Machinery.	EUC	2004	DBLP DOI BibTeX RDF
16	Hongliang Yu, Jian Liu, Weimin Zheng, Meiming Shen	Event Chain Clocks for Performance Debugging in Parallel and Distributed Systems.	ISPA	2004	DBLP DOI BibTeX RDF
16	Samik Basu 0001, Diptikalyan Saha, Scott A. Smolka	Localizing Program Errors for Cimple Debugging.	FORTE	2004	DBLP DOI BibTeX RDF
16	Nithya Ramanathan, Eddie Kohler, Lewis Girod, Deborah Estrin	Sympathy: A Debugging System for Sensor Networks.	LCN	2004	DBLP DOI BibTeX RDF
16	Vladimir Brik, Jesse Stroik, Suman Banerjee 0001	Debugging DHCP performance.	Internet Measurement Conference	2004	DBLP DOI BibTeX RDF	performance, measurement, tools, experimentation, DHCP
16	Haifeng He, Neelam Gupta	Automated Debugging Using Path-Based Weakest Preconditions.	FASE	2004	DBLP DOI BibTeX RDF	software testing, Fault location, weakest precondition, postcondition
16	K. K. Aggarwal, Yogesh Singh, Jitender Kumar Chhabra	A dynamic software metric and debugging tool.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
16	Pete McBreen, Narain H. Gehani, David J. Agans	Software Craftsmanship / Bell Labs: Life in the Crown Jewel / Debugging.	IEEE Softw.	2003	DBLP DOI BibTeX RDF
16	Andreas G. Veneris	Fault Diagnosis and Logic Debugging Using Boolean Satisfiability.	MTV	2003	DBLP DOI BibTeX RDF
16	Jacques Chassin de Kergommeaux, Cyril Guilloud, Benhur de Oliveira Stein	Flexible Performance Debugging of Parallel and Distributed Applications.	Euro-Par	2003	DBLP DOI BibTeX RDF
16	Kwangyong Lee, Jeong-Si Kim, Chaedeok Lim, Heung-Nam Kim	A Development of Remote Tracepoint Debugger for Run-time Monitoring and Debugging of Timing Constraints on Qplus-P RTOS.	WSTFES	2003	DBLP DOI BibTeX RDF
16	Ernesto Novillo, Paul Lu	A Case Study of Selected SPLASH-2 Applications and the SBT Debugging Tool.	IPDPS	2003	DBLP DOI BibTeX RDF
16	Amruth N. Kumar	A Reified Interface for a Tutor on Program Debugging.	ICALT	2003	DBLP DOI BibTeX RDF
16	Andreas Wieferink, Tim Kogel, Achim Nohl, Andreas Hoffmann 0002	Generic Tool-Set for SoC Mulitiprocessor Debugging and Synchronization.	ASAP	2003	DBLP DOI BibTeX RDF
16	Kazutaka Maruyama, Minoru Terada	Debugging with Reverse Watchpoint.	QSIC	2003	DBLP DOI BibTeX RDF
16	David Déharbe, Silvio Ranise	Light-Weight Theorem Proving for Debugging and Verifying Units of Code.	SEFM	2003	DBLP DOI BibTeX RDF
16	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001	Program Debugging and Validation Using Semantic Approximations and Partial Specifications.	ICALP	2002	DBLP DOI BibTeX RDF
16	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001	Abstract Verification and Debugging of Constraint Logic Programs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
16	Gregory Matthews, Robert Hood, Stephen Johnson, P. F. Leggett	Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs.	HPDC	2002	DBLP DOI BibTeX RDF
16	Rolf Hendrik van Lengen, Jan-Thies Bähr	Visualisation and Debugging of Decentralised Information Ecosystems.	Software Visualization	2001	DBLP DOI BibTeX RDF
16	Gian-Luigi Ferrari 0002, Emilio Tuosto	A debugging calculus for mobile ambients.	SAC	2001	DBLP DOI BibTeX RDF
16	Olaf Chitil	Compositional Explanation of Types and Algorithmic Debugging of Type Errors.	ICFP	2001	DBLP DOI BibTeX RDF
16	Lars Albertsson	Simulation-Based Debugging of Soft Real-Time Applications.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
16	Egor S. Sogomonyan, Andrej A. Morosov, Jan Rzeha, Michael Gössel, Adit D. Singh	Early Error Detection in Systems-on-Chip for Fault-Tolerance and At-Speed Debugging.	VTS	2001	DBLP DOI BibTeX RDF
16	Kwangyong Lee, Chaedeok Lim, Kisok Kong, Heung-Nam Kim	A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software.	LCTES	2000	DBLP DOI BibTeX RDF
16	Olaf Chitil, Colin Runciman, Malcolm Wallace	Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs.	IFL	2000	DBLP DOI BibTeX RDF
16	Ton Ngo, John J. Barton	Debugging by Remote Reflection.	Euro-Par	2000	DBLP DOI BibTeX RDF
16	Brad Richards	Bugs as features: teaching network protocols through debugging.	SIGCSE	2000	DBLP DOI BibTeX RDF
16	Christian S. Collberg, Sean Davey, Todd A. Proebsting	Language-Agnostic Program Rendering for Presentation, Debugging and Visualization.	VL	2000	DBLP DOI BibTeX RDF
16	Claude Laï	Using Constraints in Local Proofs for CLP Debugging.	PADL	1999	DBLP DOI BibTeX RDF
16	Tsuyoshi Ohta, Tadanori Mizuno	Towards an Algorithmic Debugging for Distributed Programs.	APSEC	1999	DBLP DOI BibTeX RDF	debug, programming environment, distributed programs
16	Clara Jaramillo, Rajiv Gupta 0001, Mary Lou Soffa	Comparison Checking: An Approach to Avoid Debugging of Optimized Code.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
16	Péter Kacsuk, Róbert Lovas, József Kovács	Systematic Debugging of Parallel Programs in DIWIDE Based on Collective Breakpoints and Macrosteps.	Euro-Par	1999	DBLP DOI BibTeX RDF
16	Raimondas Lencevicius, Urs Hölzle, Ambuj K. Singh	Dynamic Query-Based Debugging.	ECOOP	1999	DBLP DOI BibTeX RDF
16	Henrik Nilsson	Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages.	ICFP	1999	DBLP DOI BibTeX RDF
16	Le-Chun Wu, Rajiv Mirani, Harish Patil, Bruce Olsen, Wen-mei W. Hwu	A New Framework for Debugging Globally Optimized Code.	PLDI	1999	DBLP DOI BibTeX RDF
16	Péter Kacsuk	Systematic Debugging of Parallel Programs Based on Collective Breakpoints.	PDSE	1999	DBLP DOI BibTeX RDF
16	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
16	Dieter Kranzlmüller, Jens Volkert	Debugging Point-to-Point Communication in MPI an PVM.	PVM/MPI	1998	DBLP DOI BibTeX RDF
16	Frédéric Van de Veire, Przemyslaw Szmal, Jaroslaw Francik	SIAMOA: a system for visual programming, program visualisation and debugging.	AVI	1998	DBLP DOI BibTeX RDF
16	Maximilian Frey, Bernd-Holger Schlingloff	On-the-Fly Model Checking of Program Runs for Automated Debugging.	EUROMICRO	1998	DBLP DOI BibTeX RDF
16	Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel	Co-Emulation and Debugging of HW/SW-Systems.	ISSS	1997	DBLP DOI BibTeX RDF
16	Ali-Reza Adl-Tabatabai, Thomas R. Gross	Source-Level Debugging of Scalar Optimized Code.	PLDI	1996	DBLP DOI BibTeX RDF
16	Frank Tip	Generic Techniques for Source-Level Debugging and Dynamic Program Slicing.	TAPSOFT	1995	DBLP DOI BibTeX RDF
16	Roland Wismüller	Debugging of Globally Optimized Programs Using Data Flow Analysis.	PLDI	1994	DBLP DOI BibTeX RDF	DEBUG, C
16	Ali-Reza Adl-Tabatabai, Thomas R. Gross	Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging.	POPL	1993	DBLP DOI BibTeX RDF
16	Mariano P. Consens, Masum Z. Hasan, Alberto O. Mendelzon	Using Hy+ for network management and distributed debugging.	CASCON	1993	DBLP BibTeX RDF
16	David A. Fechser	A Methodology for Debugging ASIC Prototypes in the Field.	IEEE Des. Test Comput.	1991	DBLP DOI BibTeX RDF
16	Francesco Russo, Mirko Sancassani	A Declarative Debugging Environment for DATALOG.	RCLP	1991	DBLP DOI BibTeX RDF
16	Andrew P. Tolmach, Andrew W. Appel	Debugging Standard ML Without Reverse Engineering.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
16	Garth H. Foster, Abdelatif Elgouri, Franklin Liu	Editing and Debugging with Windows and a Mouse.	APL	1990	DBLP DOI BibTeX RDF	APL
16	Wan-Hong S. Cheng, Virgil Wallentine	DEBL: A Knowledge-Based Language for Specifying and Debugging Distributed Programs.	Commun. ACM	1989	DBLP DOI BibTeX RDF
16	Andy Podgurski, Lori A. Clarke	The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
16	Janice M. Stone	Debugging Concurrent Processes: A Case Study.	PLDI	1988	DBLP DOI BibTeX RDF
16	Stephen K. Skedzielewski, Robert Kim Yates, R. R. Oldehoeft	DI: an interactive debugging interpreter for applicative languages.	PLDI	1987	DBLP DOI BibTeX RDF
16	Thomas A. Cargill, Bart N. Locanthi	Cheap Hardware Support for Software Debugging and Profiling.	ASPLOS	1987	DBLP DOI BibTeX RDF
16	J. George Shanthikumar	A state- and time-dependent error occurrence-rate software reliability model with imperfect debugging.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
16	Harish Patil, Cristiano Pereira, Mack Stallcup, Gregory Lueck, James Cownie	PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs.	CGO	2010	DBLP DOI BibTeX RDF	repeatable simulation point selection, reproducible debugging, dynamic program analysis, deterministic replay
16	John J. Barton, Jan Odvarko	Dynamic and graphical web page breakpoints.	WWW	2010	DBLP DOI BibTeX RDF	firebug, web, debugging, dynamic, html, javascript, css, breakpoints
16	Björn Hartmann, Daniel MacDougall, Joel Brandt, Scott R. Klemmer	What would other programmers do: suggesting solutions to error messages.	CHI	2010	DBLP DOI BibTeX RDF	recommender systems, debugging
16	Yi Wei 0001, Yu Pei 0001, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer 0001, Andreas Zeller	Automated fixing of programs with contracts.	ISSTA	2010	DBLP DOI BibTeX RDF	automatic debugging, automatic fixing, dynamic invariants, program synthesis
16	Piramanayagam Arumuga Nainar, Ben Liblit	Adaptive bug isolation.	ICSE (1)	2010	DBLP DOI BibTeX RDF	binary instrumentation, control-dependence graphs, dynamic feedback, dyninst, heuristic search, statistical debugging
16	Gwendolyn Voskuilen, Faraz Ahmad, T. N. Vijaykumar	Timetraveler: exploiting acyclic races for optimizing memory race recording.	ISCA	2010	DBLP DOI BibTeX RDF	race recording, debugging, determinism, replay
16	Kuei-Chen Chiu, Jyh-Wen Ho, Yeu-Shiang Huang	Bayesian updating of optimal release time for software systems.	Softw. Qual. J.	2009	DBLP DOI BibTeX RDF	Bayesian statistical method, Software release time, Software testing/debugging, Software reliability growth model
16	Alex Villazón, Walter Binder, Philippe Moret, Danilo Ansaloni	MAJOR: rapid tool development with aspect-oriented programming.	PPPJ	2009	DBLP DOI BibTeX RDF	rapid tool development, Java, testing, aspect-oriented programming, debugging, profiling, Java virtual machine, bytecode instrumentation
16	Nicolas Burri, Roland Flury, Silvan Nellen, Benjamin Sigg, Philipp Sommer, Roger Wattenhofer	YETI: an Eclipse plug-in for TinyOS 2.1.	SenSys	2009	DBLP DOI BibTeX RDF	sensor networks, debugging, development, TinyOS
16	Todd Kulesza, Weng-Keen Wong, Simone Stumpf, Stephen Perona, Rachel White, Margaret M. Burnett, Ian Oberst, Amy J. Ko	Fixing the program my computer learned: barriers for end users, challenges for the machine.	IUI	2009	DBLP DOI BibTeX RDF	machine learning, debugging, end-user programming
16	Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
16	Amy J. Ko, Brad A. Myers	Finding causes of program output with the Java Whyline.	CHI	2009	DBLP DOI BibTeX RDF	whyline, debugging, instrumentation, slicing
16	Krzysztof Kepa, Fearghal Morgan, Krzysztof Kosciuszkiewicz, Lars Braun, Michael Hübner 0001, Jürgen Becker 0001	FPGA Analysis Tool: High-Level Flows for Low-Level Design Analysis in Reconfigurable Computing.	ARC	2009	DBLP DOI BibTeX RDF	design assurance, bitstream debugging, security, FPGA, Reconfigurable Computing, design verification, EDA tools
16	Yibin Chen, Sean Safarpour, Andreas G. Veneris, João Marques-Silva 0001	Spatial and temporal design debug using partial MaxSAT.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	maximum satisfiability, design debugging
16	Wes Masri	Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
16	Tao Wang, Abhik Roychoudhury	Dynamic slicing on Java bytecode traces.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	debugging, Program slicing, tracing