|
|
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 |
34 | Brian Keng, Andreas G. Veneris |
Scaling VLSI design debugging with interpolation. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Valeria Bertacco |
Debugging strategies for mere mortals. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
validation, error correction, design verification, error diagnosis |
34 | Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet |
Declarative Debugging of Rewriting Logic Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Liang-Bi Chen, Yung-Chih Liu, Chen-Hung Chen, Chung-Fu Kao, Ing-Jer Huang |
Parameterized embedded in-circuit emulator and its retargetable debugging software for microprocessor/microcontroller/DSP processor. |
ASP-DAC |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Brian Keng, Hratch Mangassarian, Andreas G. Veneris |
A succinct memory model for automated design debugging. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Christian Meilicke, Johanna Völker, Heiner Stuckenschmidt |
Learning Disjointness for Debugging Mappings between Lightweight Ontologies. |
EKAW |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Sai Zhang 0001, Zhongxian Gu, Yu Lin, Jianjun Zhao 0001 |
AutoFlow: An automatic debugging tool for AspectJ software. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Benjamin D. Rister, Jason Campbell, Padmanabhan Pillai, Todd C. Mowry |
Integrated Debugging of Large Modular Robot Ensembles. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Róbert Lovas, Péter Kacsuk |
Correctness Debugging of Message Passing Programs Using Model Verification Techniques. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Norio Sato, Keisuke Kosuga |
Session-aware debugging features for web applications using Ruby and Python frameworks. |
DOSTA |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan Zhang 0001 |
Automated Security Debugging Using Program Structural Constraints. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Juan A. Botía, Juan Manuel Hernansaez, Antonio Fernandez Gómez-Skarmeta |
On the Application of Clustering Techniques to Support Debugging Large-Scale Multi-Agent Systems. |
PROMAS |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Wei Wang 0076, Binxing Fang |
Grid Service Based Parallel Debugging Environment. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou |
Estimating likelihood of correctness for error candidates to assist debugging faulty HDL designs. |
ISCAS (6) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Rolf Drechsler, Alexander Smith 0001 |
Debugging Sequential Circuits Using Boolean Satisfiability. |
MTV |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith 0001, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir |
Debugging sequential circuits using Boolean satisfiability. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Roman Bednarik, Markku Tukiainen |
Visual attention tracking during program debugging. |
NordiCHI |
2004 |
DBLP DOI BibTeX RDF |
visual attention, psychology of programming, eye-movement tracking |
34 | Denise Stringhini |
Parallel program debugging: interface design and implementation. |
CCGRID |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Joseph R. Ruthruff, Amit Phalgune, Laura Beckwith, Margaret M. Burnett, Curtis R. Cook |
Rewarding "Good" Behavior: End-User Debugging and Rewards. |
VL/HCC |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Dieter Kranzlmüller, Axel Rimnac |
Parallel Program Debugging with MAD - A Practical Approach. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Ludovic Langevine, Pierre Deransart, Mireille Ducassé |
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Nam Thoai, Dieter Kranzlmüller, Jens Volkert |
ROS: The Rollback-One-Step Method to Minimize the Waiting Time during Debugging Long-Running Parallel Programs. |
VECPAR |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Tsuyoshi Ohta, Hideto Kinoshita, Takahiro Kimata, Tadanori Mizuno |
A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs. |
ICOIN |
2001 |
DBLP DOI BibTeX RDF |
|
34 | François Bourdoncle |
Abstract Debugging of Higher-Order Imperative Languages. |
PLDI |
1993 |
DBLP DOI BibTeX RDF |
Pascal |
34 | Richard H. Crawford, Ronald A. Olsson, W. Wilson Ho, Christopher E. Wee |
Semantic issues in the design of languages for debugging. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Giovani Gracioli, Sebastian Fischmeister |
Tracing interrupts in embedded software. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, debugging, tracing, embedded software |
33 | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
Declarative Diagnosis of Temporal Concurrent Constraint Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
timed concurrent constraint programs, (modular) declarative debugging, denotational semantics, specification logic |
33 | Brett Carson, Ian A. Mason |
ClusterGrind: Valgrinding LAM/MPI Applications. |
PVM/MPI |
2005 |
DBLP DOI BibTeX RDF |
passing, debugging, profiling, message, reporting |
33 | Hoon-Joon Kouh, Sun-Moon Jo, Weon-Hee Yoo |
Design of HDTS System for Locating Logical Errors in Java Programs. |
ACIS-ICIS |
2005 |
DBLP DOI BibTeX RDF |
HDTS, Logical Errors, Java, Debugging |
33 | Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001 |
Locating faulty code using failure-inducing chops. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging |
33 | Jeffrey M. Voas, Keith W. Miller 0001 |
One in a Baker's Dozen: Debugging Debugging. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Cheng Zhang, Dacong Yan, Jianjun Zhao 0001, Yuting Chen, Shengqian Yang |
BPGen: an automated breakpoint generator for debugging. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
debugging, breakpoint |
32 | Cristian Zamfir, George Candea |
Execution synthesis: a technique for automated software debugging. |
EuroSys |
2010 |
DBLP DOI BibTeX RDF |
symbolic execution, automated debugging |
32 | 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 |
32 | 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 |
32 | 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 |
32 | 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 |
32 | 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 |
32 | 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 |
32 | 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 |
32 | Liang Guo, Abhik Roychoudhury |
Debugging Statecharts Via Model-Code Traceability. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Debugging, Traceability, Statecharts, Slicing |
32 | 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 |
32 | 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 |
32 | Ben Liblit |
Cooperative debugging with five hundred million test cases. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
cooperative bug isolation, statistical debugging |
32 | Amy J. Ko, Brad A. Myers |
Source-level debugging with the whyline. |
CHASE |
2008 |
DBLP DOI BibTeX RDF |
whyline, visualization, debugging |
32 | 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 |
32 | 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. |
ACM SIGCSE Bull. |
2007 |
DBLP DOI BibTeX RDF |
Java, web 2.0, debugging, video, CS1, introductory programming, novice programmers |
32 | Stefan Schlobach, Zhisheng Huang, Ronald Cornet, Frank van Harmelen |
Debugging Incoherent Terminologies. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
Debugging, Diagnosis, Description logics |
32 | Dolev Dotan, Andrei Kirshin |
Debugging and testing behavioral UML models. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
UML, software development, debugging, profiles, state machines, activities |
32 | 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 |
32 | Jimmy Su, Katherine A. Yelick |
Automatic Communication Performance Debugging in PGAS Languages. |
LCPC |
2007 |
DBLP DOI BibTeX RDF |
PGAS languages, automatic performance debugging |
32 | Jianwan Ding, Liping Chen, Fanli Zhou |
A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
structural inconsistency, component-based debugging, simulation, declarative model, Modelica |
32 | Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu |
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
system development tools, automatic debugging, counting SAT problem, Real-time system, formal methods, timing constraint, incremental computation |
32 | Samarjit Chakraborty |
Flexible modelling and performance debugging of real-time embedded multimedia systems. |
ACM Multimedia |
2006 |
DBLP DOI BibTeX RDF |
performance analysis, debugging, multimedia systems |
32 | Tami Lapidot, Orit Hazzan |
Song debugging: merging content and pedagogy in computer science education. |
ACM SIGCSE Bull. |
2005 |
DBLP DOI BibTeX RDF |
debugging, computer science education, music, teacher education |
32 | Joseph R. Ruthruff, Margaret M. Burnett |
Six challenges in supporting end-user debugging. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
debugging, end-user programming, fault localization, end-user software engineering |
32 | Nathaniel Duca, Krzysztof Niski, Jonathan Bilodeau, Matthew Bolitho, Yuan Chen, Jonathan D. Cohen 0001 |
A relational debugging engine for the graphics pipeline. |
ACM Trans. Graph. |
2005 |
DBLP DOI BibTeX RDF |
visualization, debugging, SQL, streaming, graphics hardware, SIMD, relational algebra, graphics pipeline |
32 | Ruo Ando, Yoshiyasu Takefuji |
Self Debugging Mode for Patch-Independent Nullification of Unknown Remote Process Infection. |
CANS |
2005 |
DBLP DOI BibTeX RDF |
self-debugging mode, real-time nullification, debug register, improved debug exception handler, branchIP recorder |
32 | Xiangyu Zhang 0001, Haifeng He, Neelam Gupta, Rajiv Gupta 0001 |
Experimental evaluation of using dynamic slices for fault location. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
full slice, relevant slice, debugging, data slice |
32 | Alessandro Orso, Saurabh Sinha, Mary Jean Harrold |
Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
incremental slicing, debugging, program comprehension, program slicing, Data dependences, pointers, data-flow testing |
32 | Wolfgang Mayer, Markus Stumptner |
Model-Based Debugging with High-Level Observations. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
Software engineering and AI, Debugging, Diagnosis, Model-based reasoning |
32 | Jan Christiansen, Frank Huch |
Searching for deadlocks while debugging concurrent haskell programs. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
concurrent haskell, detecting deadlocks, debugging, deadlock |
32 | Jim Etheredge |
CMeRun: program logic debugging courseware for CS1/CS2 students. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
pedagogy, CS1, CS2, courseware, debugging aid |
32 | Bernard J. Pope, Lee Naish |
Practical aspects of declarative debugging in Haskell 98. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
input and output, printing values, declarative debugging, resource usage |
32 | David Poutakidis, Lin Padgham, Michael Winikoff |
An exploration of bugs and debugging in multi-agent systems. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
agent oriented design, multi-agent systems, debugging, interaction protocols |
32 | Françoise Baude, Alexandre Bergel, Denis Caromel, Fabrice Huet, Olivier Nano, Julien Vayssière |
IC2D: Interactive Control and Debugging of Distribution. |
LSSC |
2001 |
DBLP DOI BibTeX RDF |
graphical visualisation, distributed computing, object-oriented, monitoring, debugging, migration, metacomputing, active object, steering |
32 | François-Gaël Ottogalli, Cyril Labbé, Vincent Olive, Benhur de Oliveira Stein, Jacques Chassin de Kergommeaux, Jean-Marc Vincent |
Visualisation of Distributed Applications for Performance Debugging. |
International Conference on Computational Science (2) |
2001 |
DBLP DOI BibTeX RDF |
performance analysis and debugging, JVMPI, meta-ORB, Java, distributed application |
32 | Lars Albertsson, Peter S. Magnusson |
Using Complete System Simulation for Temporal Debugging of General Purpose Operating Systems and Workload. |
MASCOTS |
2000 |
DBLP DOI BibTeX RDF |
Temporal Debugging, Simics, Complete System Simulation, Operating Systems, Linux, Soft Real Time Systems |
32 | Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young |
Compiler and tool support for debugging object protocols. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
protocols, debugging, sequencing constraints |
32 | Francisco J. Suárez, Daniel F. García, Javier García 0002 |
Performance Debugging of Parallel and Distributed Embedded Systems. |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
Performance Debugging Methodology, Embedded Systems, Measurement, Parallel and Distributed Processing |
32 | Simon Huband, Chris McDonald |
Debugging Parallel Programs Using Incomplete Information. |
IWCC |
1999 |
DBLP DOI BibTeX RDF |
parallel program debugging, graph distance, maximal common subgraph, topology |
32 | Darko Kirovski, Miodrag Potkonjak |
A quantitative approach to functional debugging. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
functional debugging, in-circuit emulation and simulation, error diagnosis |
32 | Thomas Kunz, James P. Black |
Using Automatic Process Clustering for Design Recovery and Distributed Debugging. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
process clustering, reverse engineering, Cluster analysis, distributed debugging, design recovery, Hermes |
32 | Lu Xu, Michal Young |
Two Dimensional Concurrent Program Debugging. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
Concurrent Program Debugging, Program Dependence Analysis, Software Engineering, Dynamic Slice |
32 | Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim |
An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
language-based replay, MHB(Minimal Happened Before) model, Detect and Reproduce method, parallel program, static analysis, debugging, probe effects, nondeterminacy, event ordering |
32 | Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz |
High-Level Language Debugging for Concurrent Programs. |
ACM Trans. Comput. Syst. |
1990 |
DBLP DOI BibTeX RDF |
temporal logic, portability, distributed debugging, language independence |
32 | Matteo Marra, Guillermo Polito, Elisa Gonzalez Boix |
Out-Of-Place debugging: a debugging architecture to reduce debugging interference. |
Art Sci. Eng. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Matteo Marra, Guillermo Polito, Elisa Gonzalez Boix |
Out-Of-Place debugging: a debugging architecture to reduce debugging interference. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
32 | Julio García-Martín, Juan José Moreno-Navarro |
Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. |
AADEBUG |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Dick Hamlet |
Debugging "level": step-wise debugging. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
32 | Bernhard Peischl, Safeeullah Soomro, Franz Wotawa |
Towards Lightweight Fault Localization in Procedural Programs. |
IEA/AIE |
2006 |
DBLP DOI BibTeX RDF |
model-based software debugging, software debugging, control software, procedural abstraction |
32 | Dhananjay M. Dhamdhere, K. V. Sankaranarayanan |
Dynamic Currency Determination in Optimized Programs. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
debugging optimized code, dynamic currency determination, minimal unrolled graph, compiler, code optimization, dynamic slicing, code instrumentation, source-level debugging |
32 | Thomas Kunz |
Evaluating process clusters to support automatic program understanding. |
WPC |
1996 |
DBLP DOI BibTeX RDF |
process cluster evaluation, automatic program understanding, static source analysis, application execution, reverse engineering, software maintenance, software maintenance, distributed processing, software tools, software tools, software design, distributed application, program debugging, program diagnostics, interprocess communication, distributed debugging, program development, quantitative evaluation, application design, prototypical tools |
32 | Robert Hood, Doreen Cheng |
Accommodating heterogeneity in a debugger-a client-server approach. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
client portability, debugger core, client-server protocol, heterogeneous debugging, user interfaces, user interface, distributed computations, specification, program debugging, client-server systems, investment, investment |
32 | Anne F. Brindle, Richard N. Taylor, David F. Martin |
A Debugger for Ada Tasking. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking |
32 | Bogdan Korel |
PELAS - Program Error-Locating Assistant System. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
PELAS, program error-locating assistant system, error localization assistant, Pascal programs, knowledge representation, knowledge representation, software tools, knowledge based system, knowledge based systems, program verification, reasoning, Pascal, interactive systems, program debugging, program debugging, program structure, dependence network |
31 | Donglin Liang, Kai Xu 0002 |
Debugging object-oriented programs with behavior views. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
debugging language, secenario-driven, execution monitoring |
31 | Scott E. Hudson, Roy Rodenstein, Ian E. Smith |
Debugging Lenses: A New Class of Transparent Tools for User Interface Debugging. |
ACM Symposium on User Interface Software and Technology |
1997 |
DBLP DOI BibTeX RDF |
context-based rendering, interactive debugging, lens interaction techniques, subArctic, Java, dynamic queries, user interface toolkits |
31 | 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 |
31 | Ian MacLarty, Zoltan Somogyi, Mark Brown |
Divide-and-query and subterm dependency tracking in the mercury declarative debugger. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
algorithmic debugging, divide-and-query, program slicing, declarative debugging |
31 | Earl Wagner, Henry Lieberman |
An end-user tool for e-commerce debugging. |
IUI |
2003 |
DBLP DOI BibTeX RDF |
debugging e-commerce, end-user debugging |
31 | Aaron J. Goldberg, John L. Hennessy |
Mtool: An Integrated System for Performance Debugging Shared Memory Multiprocessor Applications. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
performance losses analysis, shared memorymultiprocessor applications, Mtool, lowoverhead instrumentation, synchronization bottlenecks, window-based user interface, synchronization objects, memory bottleneck detection, performance evaluation, software tool, software tools, shared memory systems, program debugging, compute time, integrated system, performance debugging, parallelprogramming, shared memory parallel programs |
31 | Nozer D. Singpurwalla |
Determining an Optimal Time Interval for Testing and Debugging Software. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
optimal time interval, single-state testing, software testing, uncertainty, decision-making, software reliability, program testing, probabilistic models, decision theory, decision theory, costs, programming theory, program debugging, utility function, optimization problem, software failure, software debugging, expected utility, maximization |
31 | Earl C. Van Horn |
Three criteria for designing computing systems to facilitate debugging. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
computer design criteria, computer systems design, computing reliability, deterministic computers, input equipment, input equipment design, multiprogrammed system design, multiprogrammed systems, parallel processing, parallel programming, parallel, debugging, operating systems, programming, programming languages, information security, program testing, determinism, program debugging, protection, multiprogramming, multiprocessing, repeatability, computer systems, memory protection, reproducibility, programming language semantics, programming language design, virtual computers, computer design, information privacy, program semantics, operating systems design, multi processing |
30 | Mireille Ducassé |
Coca: An automated Debugger for C. |
ICSE |
1999 |
DBLP DOI BibTeX RDF |
debugging language, program behavior understanding, trace query mechanism, C, automated debugging, debugging tool |
29 | Chao Liu 0001, Zeng Lian, Jiawei Han 0001 |
How Bayesians Debug. |
ICDM |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Nam Thoai, Dieter Kranzlmüller, Jens Volkert |
EROS: An Efficien Method for Minimizing the Replay Time based on the Replay Dependence Relation. |
PDP |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Linda J. Moore, Angelica R. Moya |
Non-Intrusive Debug Technique for Embedded Programming. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Robert E. McLear, D. M. Scheibelhut, E. Tammaru |
Guidelines for Creating a Debuggable Processor. |
ASPLOS |
1982 |
DBLP DOI BibTeX RDF |
|
28 | Aaron Pohle, Björn Döbel, Michael Roitzsch, Hermann Härtig |
Capability wrangling made easy: debugging on a microkernel with valgrind. |
VEE |
2010 |
DBLP DOI BibTeX RDF |
l4, valgrind, capability, microkernel |
Displaying result #201 - #300 of 5653 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|