|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4309 occurrences of 1739 keywords
|
|
|
Results
Found 5653 publication records. Showing 5653 according to the selection in the facets
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 |
|
|