|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4321 occurrences of 1739 keywords
|
|
|
|
|
Results
Found 3526 publication records. Showing 3526 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 7 | 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 |
| 6 | 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 |
| 5 | Rajeev K. Ranjan, 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 |
| 5 | Jing Yang, 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 |
| 5 | Joseph L. Sharnowski, Betty H. C. Cheng |
A visualization-based environment for top-down debugging of parallel programs. (PDF / PS)  |
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 |
| 5 | 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 |
| 4 | 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 |
| 4 | Valentina Grigoreanu, James 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 |
| 4 | Andreas Zeller |
Debugging debugging: acm sigsoft impact paper award keynote.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
delta debugging, automated debugging |
| 4 | Chris Gottbrath |
Bringing Reverse Debugging to HPC.  |
PVM/MPI  |
2009 |
DBLP DOI BibTeX RDF |
record and replay debugging, MPI debugging, troubleshooting |
| 4 | Filippo Gioachin, Laxmikant V. Kalé |
Memory tagging in Charm++.  |
PADTAD  |
2008 |
DBLP DOI BibTeX RDF |
memory debugging, memory tagging, debugging, parallel debugging |
| 4 | Jing Yang, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse |
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks.  |
SenSys  |
2007 |
DBLP DOI BibTeX RDF |
embedded debugging, wireless sensor networks, distributed debugging, source-level debugging |
| 4 | Chao Liu 0001, Long Fei, Xifeng Yan, Jiawei Han, Samuel P. Midkiff |
Statistical Debugging: A Hypothesis Testing-Based Approach.  |
IEEE Trans. Software Eng.  |
2006 |
DBLP DOI BibTeX RDF |
statistical methods, Debugging aids, statistical debugging |
| 4 | Ghassan Misherghi, Zhendong Su |
HDD: hierarchical Delta Debugging.  |
ICSE  |
2006 |
DBLP DOI BibTeX RDF |
delta debugging, automated debugging |
| 4 | Yasushi Saito |
Jockey: a user-space library for record-replay debugging.  |
AADEBUG  |
2005 |
DBLP DOI BibTeX RDF |
execution record and replay, jockey, debugging, Linux, checkpointing, keywords, x86 |
| 4 | Borislav Nikolik |
Convergence debugging.  |
AADEBUG  |
2005 |
DBLP DOI BibTeX RDF |
convergence hypothesis, test dispersion, test diversity, testing, debugging, convergence |
| 4 | Adrian Pop, Peter Fritzson |
Debugging natural semantics specifications.  |
AADEBUG  |
2005 |
DBLP DOI BibTeX RDF |
logical functional languages, proof-trees, debugging, rule-based |
| 4 | Remko Tronçon, Gerda Janssens |
Analyzing & debugging ILP data mining query execution.  |
AADEBUG  |
2005 |
DBLP DOI BibTeX RDF |
monitoring, debugging, traces, inductive logic programming |
| 4 | Alex Ho, Steven Hand |
On the design of a pervasive debugger.  |
AADEBUG  |
2005 |
DBLP DOI BibTeX RDF |
horizontal debugging, pervasive debugging, vertical debugging |
| 4 | Daniel Köb, Bernhard Peischl, Franz Wotawa |
Debugging VHDL Designs Using Temporal Process Instances.  |
IEA/AIE  |
2003 |
DBLP DOI BibTeX RDF |
debugging of hardware designs, model-based diagnosis, software debugging |
| 4 | Henry Lieberman, Earl Wagner |
End-user tools for debugging e-commerce.  |
ACM Conference on Electronic Commerce  |
2003 |
DBLP DOI BibTeX RDF |
debugging e-commerce, end-user debugging |
| 4 | Henry Lieberman, Earl Wagner |
End-user debugging for e-commerce.  |
IUI  |
2003 |
DBLP DOI BibTeX RDF |
debugging e-commerce, end-user debugging |
| 4 | Seungwoo Son, Chaedeok Lim, Heung-Nam Kim |
Debugging protocol for remote cross development environment.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers |
| 4 | Susan Craw, Robin Boswell |
Debugging knowledge-based applications with a generic toolkit.  |
ICTAI  |
2000 |
DBLP DOI BibTeX RDF |
generic toolkit, knowledge refinement tools, knowledge based system maintenance, knowledge based system debugging, fault correction, KRUSTWorks toolkit, aerospace knowledge-based systems, knowledge based systems, knowledge engineering, program debugging, POWER-MODEL, CLIPS, aerospace computing, shells, fault identification |
| 4 | Eui Hyun Paik, Young-Sik Chung, Byung-Sun Lee, Chae Woo Yoo |
A concurrent program debugging environment using real-time replay. (PDF / PS)  |
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 |
| 4 | 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 |
| 4 | István Majzik |
Software Monitoring and Debugging Using Compressed Signature Sequences.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
run-time sequence, compressed signature sequences, signature based error detection techniques, signature buffer, real-time compression methods, predefined dictionaries, program debugging, structural information, software monitoring, software debugging, watchdog processors |
| 4 | Siegfried Grabner, Dieter Kranzlmüller, Jens Volkert |
Debugging of concurrent processes.  |
PDP  |
1995 |
DBLP DOI BibTeX RDF |
concurrent processes debugging, larger problem sizes, memory hot spots, global clock, event graph manipulation tool ATEMPT, parallel programming, parallel program, error detection, error detection, program testing, memory architecture, program debugging, shared memory architectures, bus contention |
| 4 | 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 |
| 4 | Bülent Abali, Craig B. Stunkel |
Time synchronization on SP1 and SP2 parallel systems. (PDF / PS)  |
IPPS  |
1995 |
DBLP DOI BibTeX RDF |
SP2 parallel system, SP1 parallel system, experimental time utility, operating system clocks, node clocks, synchronous feature, parallel program performance measurement, parallel program tuning, parallel program tracing, parallel program debugging, parallel processes, interconnection network, multiprocessor interconnection networks, multiprocessor interconnection networks, parallel machines, parallel machines, synchronisation, synchronisation, processor scheduling, processor scheduling, software performance evaluation, software performance evaluation, program debugging, program debugging, clocks, clocks, operating systems (computers), operating systems (computers), time synchronization, gang scheduling, reduced instruction set computing, reduced instruction set computing |
| 4 | Gopal Chillariga, Balkrishna Ramkumar |
Performance prediction for portable parallel execution on MIMD architectures. (PDF / PS)  |
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 |
| 4 | 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 |
| 4 | Andy Podgurski, Lori A. Clarke |
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
data flow dependence, syntactic dependence, semantic dependence, formal specification, software testing, debugging, program testing, maintenance, formal model, program debugging, program dependences |
| 4 | Stephen J. Garland, John V. Guttag, James J. Horning |
Debugging Larch Shared Language Specifications.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms |
| 4 | Narasimhaiah Gorla, Alan C. Benander, Barbara A. Benander |
Debugging Effort Estimation Using Software Metrics.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
debugging effort estimation, quadratic regressions, style characteristics, V(g), VARS, PARS, Cobol programs, program analyzer, statistical procedures, SAS, statistical analysis system, GOTO usage, IF-ELSE construct, level 88 item usage, paragraph invocation pattern, data name length, debug times, DEST, software metrics, statistical analysis, program testing, program debugging, linear regressions, multiple regressions, LOC |
| 4 | Michael B. Feldman, Melinda L. Moran |
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
demonstration tool, graphics-assisted debugging, Ada concurrent programs, static task-specification diagrams, communicating tasks, DEC GIGI terminal, VAX 11-780, partial Ada compiler, tasking programs, graphical debugger, parallel programming, Ada, computer graphics, software tools, program verification, program debugging, intertask communication |
| 4 | Robert V. Rubin, Larry Rudolph, Dror Zernik |
Debugging Parallel Programs in Parallel.  |
Workshop on Parallel and Distributed Debugging  |
1988 |
DBLP DOI BibTeX RDF |
|
| 4 | Yossi Lichtenstein, Ehud Y. Shapiro |
Concurrent Algorithmic Debugging.  |
Workshop on Parallel and Distributed Debugging  |
1988 |
DBLP DOI BibTeX RDF |
|
| 4 | Ziya Aral, Ilya Gertner |
High-Level Debugging in Parasight.  |
Workshop on Parallel and Distributed Debugging  |
1988 |
DBLP DOI BibTeX RDF |
|
| 4 | 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 |
|
| 4 | 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 |
|
| 4 | Alessandro Forin |
Debugging of Heterogeneous Parallel Systems.  |
Workshop on Parallel and Distributed Debugging  |
1988 |
DBLP DOI BibTeX RDF |
|
| 4 | 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 |
|
| 4 | Peter C. Bates |
Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior.  |
Workshop on Parallel and Distributed Debugging  |
1988 |
DBLP DOI BibTeX RDF |
|
| 4 | Colin J. Fidge |
Partial Orders for Parallel Debugging.  |
Workshop on Parallel and Distributed Debugging  |
1988 |
DBLP DOI BibTeX RDF |
|
| 4 | 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 |
|
| 3 | Brandon Lucia, Luis Ceze, Karin Strauss |
ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations.  |
ISCA  |
2010 |
DBLP DOI BibTeX RDF |
bug avoidance, concurrency errors, data coloring, multi-variable, debugging, atomicity violations |
| 3 | Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler |
Enhancing debugging of multiple missing control errors in reversible logic.  |
ACM Great Lakes Symposium on VLSI  |
2010 |
DBLP DOI BibTeX RDF |
boolean satisfiablity (SAT), debugging, reversible logic |
| 3 | Cristian Zamfir, George Candea |
Execution synthesis: a technique for automated software debugging.  |
EuroSys  |
2010 |
DBLP DOI BibTeX RDF |
symbolic execution, automated debugging |
| 3 | Cheng Zhang, Dacong Yan, Jianjun Zhao, Yuting Chen, Shengqian Yang |
BPGen: an automated breakpoint generator for debugging.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
debugging, breakpoint |
| 3 | Ferad Zyulkyarov, Tim Harris, Osman S. Unsal, Adrián Cristal, Mateo Valero |
Debugging programs that use atomic blocks and transactional memory.  |
PPOPP  |
2010 |
DBLP DOI BibTeX RDF |
debugging, transactional memory |
| 3 | Guru Venkataramani, Ioannis Doudalis, Yan Solihin, Milos Prvulovic |
MemTracker: An accelerator for memory debugging and monitoring.  |
TACO  |
2009 |
DBLP DOI BibTeX RDF |
memory access monitoring, debugging, Accelerator |
| 3 | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer |
An annotation assistant for interactive debugging of programs with common synchronization idioms.  |
PADTAD  |
2009 |
DBLP DOI BibTeX RDF |
synchronization idioms, concurrent programs, atomicity |
| 3 | Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler |
Contradictory antecedent debugging in bounded model checking.  |
ACM Great Lakes Symposium on VLSI  |
2009 |
DBLP DOI BibTeX RDF |
formal verification, debugging, bounded model checking, psl |
| 3 | Gautam Altekar, Ion Stoica |
ODR: output-deterministic replay for multicore debugging.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
debugging, multicore, inference, deterministic replay |
| 3 | Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt |
Debugging in the (very) large: ten years of implementation and experience.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
blue screen of death, minidump, statistics-based debugging, classifying, labeling, bucketing, error reports |
| 3 | Martin Dimitrov, Huiyang Zhou |
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging.  |
ASPLOS  |
2009 |
DBLP DOI BibTeX RDF |
automated debugging, architectural support |
| 3 | Ji Chan Maeng, Jung-Il Kwon, Min-Kyu Sin, Minsoo Ryu |
RT-replayer: a record-replay architecture for embedded real-time software debugging.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
instruction hooking, virtual timestamps, real-time, debugging, timing, embedded, replay, record |
| 3 | Wouter De Borger, Bert Lagaisse, Wouter Joosen |
A generic and reflective debugging architecture to support runtime visibility and traceability of aspects.  |
AOSD  |
2009 |
DBLP DOI BibTeX RDF |
aop, debugging architecture, traceability, visibility |
| 3 | 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 |
| 3 | Michael Siegel, Adriana Maggiore, Christian Pichler |
Untwist your brain: efficient debugging and diagnosis of complex assertions.  |
DAC  |
2009 |
DBLP DOI BibTeX RDF |
SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis |
| 3 | Manuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger |
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets.  |
MoDELS  |
2009 |
DBLP DOI BibTeX RDF |
QVT Relations, Debugging, Model Transformations, CPN |
| 3 | 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 |
| 3 | Rafael del Vado Vírseda |
A higher-order logical framework for the algorithmic debugging and verification of declarative programs.  |
PPDP  |
2009 |
DBLP DOI BibTeX RDF |
algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus |
| 3 | Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani |
Darwin: an approach for debugging evolving programs.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
debugging, software evolution, symbolic execution |
| 3 | B. Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala |
DebugAdvisor: a recommender system for debugging.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
recommendation systems, search, debugging |
| 3 | Ziad Al-Sharif, Clinton Jeffery |
An extensible source-level debugger.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
automatic debugging, debugging agent, monitoring framework, source level debugger |
| 3 | William N. Sumner, Xiangyu Zhang |
Algorithms for Automatically Computing the Causal Paths of Failures.  |
FASE  |
2009 |
DBLP DOI BibTeX RDF |
debugging, automated debugging, execution indexing |
| 3 | Bernhard Peischl, Naveed Riaz, Franz Wotawa |
Advances in Automated Source-Level Debugging of Verilog Designs.  |
New Challenges in Applied Intelligence Technologies  |
2008 |
DBLP DOI BibTeX RDF |
debugging of hardware designs, multiple testcases, model-based diagnosis, software debugging |
| 3 | Amir Zjajo, José Pineda de Gyvez |
Calibration and Debugging of Multi-step Analog to Digital Converters.  |
DELTA  |
2008 |
DBLP DOI BibTeX RDF |
multi-step ADC, debugging, calibration, design-for-test |
| 3 | Shmuel Ur, Scott D. Stoller, Eitan Farchi |
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).  |
ISSTA  |
2008 |
DBLP DOI BibTeX RDF |
testing, parallel, concurrent, debugging, distributed, multi-threaded |
| 3 | Ben Liblit |
Cooperative debugging with five hundred million test cases.  |
ISSTA  |
2008 |
DBLP DOI BibTeX RDF |
cooperative bug isolation, statistical debugging |
| 3 | Jaroslaw Konrad Lipowski |
Debugging, Object and State Management with OpenGL 1.x and 2.x.  |
ICCVG  |
2008 |
DBLP DOI BibTeX RDF |
debugging, management, state, OpenGL, batching |
| 3 | Guillaume Pothier, Éric Tanter |
Extending omniscient debugging to support aspect-oriented programming.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
omniscient debugging, aspect-oriented programming |
| 3 | 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 |
| 3 | Maria S. W. Lam, Eric Ying Kwong Chan, Victor C. S. Lee, Yuen-Tak Yu |
Designing an Automatic Debugging Assistant for Improving the Learning of Computer Programming.  |
ICHL  |
2008 |
DBLP DOI BibTeX RDF |
automatic debugging assistant, PASS, test cases and annotations, computer programming |
| 3 | JaeWoong Chung, Woongki Baek, Nathan Grasso Bronson, Jiwon Seo, Christos Kozyrakis, Kunle Olukotun |
Ased: availability, security, and debugging support usingtransactional memory.  |
SPAA  |
2008 |
DBLP DOI BibTeX RDF |
security, reliability, debugging, transactional memory |
| 3 | Yung-Pin Cheng, Jih-Feng Chen, Ming-Chieh Chiu, Nien-Wei Lai, Chien-Chih Tseng |
xDIVA: a debugging visualization system with composable visualization metaphors.  |
OOPSLA Companion  |
2008 |
DBLP DOI BibTeX RDF |
composable visualization metaphors, debugging visualization, program visualization |
| 3 | Olaf Chitil, Thomas Davie |
Comprehending finite maps for algorithmic debugging of higher-order functional programs.  |
PPDP  |
2008 |
DBLP DOI BibTeX RDF |
tracing, declarative debugging |
| 3 | Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, 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 |
| 3 | Liang Guo, Abhik Roychoudhury |
Debugging Statecharts Via Model-Code Traceability.  |
ISoLA  |
2008 |
DBLP DOI BibTeX RDF |
Debugging, Traceability, Statecharts, Slicing |
| 3 | Hani Bani-Salameh, Clinton Jeffery, Ziad Al-Sharif, Iyad Abu Doush |
Integrating Collaborative Program Development and Debugging within a Virtual Environment.  |
CRIWG  |
2008 |
DBLP DOI BibTeX RDF |
run-time debugging, Integrated Development Environment (IDE), collaborative environment, debugger |
| 3 | 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 |
| 3 | Laurie Murphy, Gary Lewandowski, Renée McCauley, Beth Simon, Lynda Thomas, Carol Zander |
Debugging: the good, the bad, and the quirky -- a qualitative analysis of novices' strategies.  |
SIGCSE  |
2008 |
DBLP DOI BibTeX RDF |
debugging, pedagogy, strategies, novice programming |
| 3 | Christian Murphy, Eunhee Kim, Gail E. Kaiser, Adam Cannon |
Backstop: a tool for debugging runtime errors.  |
SIGCSE  |
2008 |
DBLP DOI BibTeX RDF |
debugging, exception handling |
| 3 | Andrew J. Ko, Brad A. Myers |
Source-level debugging with the whyline.  |
CHASE  |
2008 |
DBLP DOI BibTeX RDF |
whyline, visualization, debugging |
| 3 | Mohammad Maifi Hasan Khan, Hieu Khac Le, Hossein Ahmadi, Tarek F. Abdelzaher, Jiawei Han |
Dustminer: troubleshooting interactive complexity bugs in sensor networks.  |
SenSys  |
2008 |
DBLP DOI BibTeX RDF |
distributed automated debugging, protocol debugging, wireless sensor networks |
| 3 | Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss |
The design and implementation of a dataflow language for scriptable debugging.  |
Autom. Softw. Eng.  |
2007 |
DBLP DOI BibTeX RDF |
Script automation, Dataflow dsl scheme, Java, Debugging |
| 3 | Albrecht Mayer, Harry Siebert, Klaus D. McDonald-Maier |
Boosting Debugging Support for Complex Systems on Chip.  |
IEEE Computer  |
2007 |
DBLP DOI BibTeX RDF |
debugging support, embedded systems, SoCs |
| 3 | Stefan Schlobach, Zhisheng Huang, Ronald Cornet, Frank van Harmelen |
Debugging Incoherent Terminologies.  |
J. Autom. Reasoning  |
2007 |
DBLP DOI BibTeX RDF |
Debugging, Diagnosis, Description logics |
| 3 | Beth Simon, Sue Fitzgerald, Renée McCauley, Susan M. Haller, John Hamer, Brian Hanks, Michael T. Helmick, Jan Erik Moström, Judy Sheard, Lynda Thomas |
Debugging assistance for novices: a video repository.  |
SIGCSE Bulletin  |
2007 |
DBLP DOI BibTeX RDF |
Java, web 2.0, debugging, video, CS1, introductory programming, novice programmers |
| 3 | Mack W. Riley, Mike Genden |
Cell Broadband Engine Debugging for Unknown Events.  |
IEEE Design & Test of Computers  |
2007 |
DBLP DOI BibTeX RDF |
unknown events, high-speed processors, debugging, Cell Broadband Engine |
| 3 | Barry Kingsbury |
Organizing processes and threads for debugging.  |
PADTAD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 3 | 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 |
| 3 | Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit |
Statistical debugging using compound boolean predicates.  |
ISSTA  |
2007 |
DBLP DOI BibTeX RDF |
debugging effort metrics, dynamic feedback analysis, statistical bug isolation, three-valued logic |
| 3 | James A. Jones, Mary Jean Harrold, James F. Bowring |
Debugging in Parallel.  |
ISSTA  |
2007 |
DBLP DOI BibTeX RDF |
execution clustering, empirical study, program analysis, fault localization, automated debugging |
| 3 | Lingxiao Jiang, Zhendong Su |
Context-aware statistical debugging: from bug predictors to faulty control flow paths.  |
ASE  |
2007 |
DBLP DOI BibTeX RDF |
bug localization, machine learning, control flow analysis, statistical debugging |
| 3 | Cemal Yilmaz, Clay Williams |
An automated model-based debugging approach.  |
ASE  |
2007 |
DBLP DOI BibTeX RDF |
model-based problem determination, fault localization, automated debugging |
| 3 | Joon-Myung Kang, Hong-Taek Ju, Mi-Jung Choi, James Won-Ki Hong |
OMA DM Based Remote Software Debugging of Mobile Devices.  |
APNOMS  |
2007 |
DBLP DOI BibTeX RDF |
Mobile Device Diagn-ostics, OMA DM, OMA DM DiagMon, Software Debugging, Device Management |
| 3 | Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana |
Non-transparent debugging for software-pipelined loops.  |
CASES  |
2007 |
DBLP DOI BibTeX RDF |
non-transparent debugging, compiler, software-pipelining, debugger |
Displaying result #1 - #100 of 3526 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|