Stem debug$ (all stems)

414 papers:

DAC-2015-CampbellLMC #debugging #detection #fault #hybrid #synthesis #using #validation

Hybrid quick error detection (H-QED): accelerator validation and debug using high-level synthesis principles (KAC, DL, SM, DC), p. 6.

DAC-2015-LeeHLP #data flow #debugging #information management #interface #performance

Efficient dynamic information flow tracking on a processor with core debug interface (JL, IH, YL, YP), p. 6.

DATE-2015-ChenWLL #debugging

A breakpoint-based silicon debug technique with cycle-granularity for handshake-based SoC (HCC, CRW, KSML, KJL), pp. 1281–1284.

DATE-2015-LinSKRM #debugging #detection #effectiveness #fault #performance #testing #validation

Quick error detection tests with fast runtimes for effective post-silicon validation and debug (DL, ES, SK, ER, SM), pp. 1168–1173.

SIGMOD-2015-SalihogluSKTW #debugging #named

Graft: A Debugging Tool For Apache Giraph (SS, JS, VK, BQT, JW), pp. 1403–1408.

ICSME-2015-PiorkowskiFSBKH #bias #debugging #developer #how #information management

To fix or to learn? How production bias affects developers’ information foraging during debugging (DP, SDF, CS, MMB, IK, AZH, JM, CH, AH), pp. 11–20.

PLDI-2015-FaddegonC #algorithm #debugging #dependence #haskell #source code #stack

Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack (MF, OC), pp. 33–42.

PLDI-2015-MachadoLR #concurrent #debugging #difference

Concurrency debugging with differential schedule projections (NM, BL, LETR), pp. 586–595.

MoDELS-2015-MontaghamiR #debugging #declarative #modelling

Pattern-based debugging of declarative models (VM, DR), pp. 322–327.

PPDP-2015-CaballeroGS #constraints #datalog #debugging #source code

Debugging of wrong and missing answers for datalog programs with constraint handling rules (RC, YGR, FSP), pp. 55–66.

SAC-2015-SakuraiM #debugging #object-oriented #source code

The omission finder for debugging what-should-have-happened bugs in object-oriented programs (KS, HM), pp. 1962–1969.

ESEC-FSE-2015-ChenK #debugging

Crowd debugging (FC, SK), pp. 320–332.

ESEC-FSE-2015-DovgalyukDM #debugging #kernel

Don’t panic: reverse debugging of kernel drivers (PD, DD, VM), pp. 938–941.

ESEC-FSE-2015-HammoudiBBR #debugging #on the #web

On the use of delta debugging to reduce recordings and facilitate debugging of web applications (MH, BB, GB, GR), pp. 333–344.

ESEC-FSE-2015-JensenSSC #debugging #independence #javascript #memory management #named

MemInsight: platform-independent memory debugging for JavaScript (SHJ, MS, KS, SC), pp. 345–356.

ICSE-v2-2015-Cornu #debugging #named #null #using

Casper: Using Ghosts to Debug Null Deferences with Dynamic Causality Traces (BC), pp. 790–791.

SLE-2015-BousseCCGB #debugging #performance

Supporting efficient and advanced omniscient debugging for xDSMLs (EB, JC, BC, JGG, BB), pp. 137–148.

ASPLOS-2015-RingenburgSACG #approximate #debugging #monitoring #quality #source code

Monitoring and Debugging the Quality of Results in Approximate Programs (MFR, AS, IA, LC, DG), pp. 399–411.

CGO-2015-ZhengLHWJ #approach #debugging #manycore #on the #performance

On performance debugging of unnecessary lock contentions on multicore processors: a replay-based approach (LZ, XL, BH, SW, HJ), pp. 56–67.

ICLP-2015-DamasioMA #debugging #source code

Unifying Justifications and Debugging for Answer-Set Programs (CVD, JM, AA).

ICLP-2015-LiVPSB #debugging #using

Debugging ASP using ILP (TL, MDV, JP, KS, TB).

ICST-2015-MahajanH15a #debugging #html #named

WebSee: A Tool for Debugging HTML Presentation Failures (SM, WGJH), pp. 1–8.

VMCAI-2015-SalaunY #algebra #debugging #process #specification

Debugging Process Algebra Specifications (GS, LY), pp. 245–262.

DATE-2014-AdlerAABG #debugging #logic

Facilitating timing debug by logic path correspondence (OA, EA, IA, IB, IG), pp. 1–6.

DATE-2014-LeeLC

Design-for-debug routing for FIB probing (CYL, THL, TCC), pp. 1–4.

FASE-2014-GiachinoLM #debugging

Causal-Consistent Reversible Debugging (EG, IL, CAM), pp. 370–384.

CSMR-WCRE-2014-PerscheidFH #debugging #execution

Follow the path: Debugging state anomalies along execution histories (MP, TF, RH), pp. 124–133.

CSMR-WCRE-2014-PerscheidH #debugging #fault #navigation #testing #tool support

Follow the path: Debugging tools for test-driven fault navigation (MP, RH), pp. 446–449.

PLDI-2014-MitraLABSG #analysis #debugging #parallel #scalability

Accurate application progress analysis for large-scale parallel debugging (SM, IL, DHA, SB, MS, TG), p. 23.

FLOPS-2014-ChenE #debugging

Guided Type Debugging (SC, ME), pp. 35–51.

FLOPS-2014-Riesco #debugging #declarative #maude #semantics #using

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.

VISSOFT-2014-Reiss #challenge #debugging

The Challenge of Helping the Programmer during Debugging (SPR), pp. 112–116.

OOPSLA-2014-BarowyGB #debugging #named #spreadsheet

CheckCell: data debugging for spreadsheets (DWB, DG, EDB), pp. 507–523.

OOPSLA-2014-BarrM #debugging #named

Tardis: affordable time-travel debugging in managed runtimes (ETB, MM), pp. 67–82.

OOPSLA-2014-SongL #debugging #performance #problem #statistics

Statistical debugging for real-world performance problems (LS, SL), pp. 561–578.

OOPSLA-2014-ToschB #automation #debugging #named #programming

SurveyMan: programming and automatically debugging surveys (ET, EDB), pp. 197–211.

PPDP-2014-StulovaMH #debugging #higher-order #source code

Assertion-based Debugging of Higher-Order (C)LP Programs (NS, JFM, MVH), pp. 225–235.

POPL-2014-ChenE #debugging #fault #type system

Counter-factual typing for debugging type errors (SC, ME), pp. 583–594.

FSE-2014-TaoKKX #automation #debugging

Automatically generated patches as debugging aids: a human study (YT, JK, SK, CX), pp. 64–74.

SLE-2014-KaufmannKPSW #debugging #diagrams #satisfiability #sequence chart #state machine

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (PK, MK, AP, MS, MW), pp. 21–40.

CGO-2014-WangPPLGN #debugging #named #slicing

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing (YW, HP, CP, GL, RG, IN), p. 98.

ISSTA-2014-Zuo #debugging #performance #statistics

Efficient statistical debugging via hierarchical instrumentation (ZZ), pp. 457–460.

ASE-2013-OhmannL #analysis #control flow #debugging #lightweight

Lightweight control-flow instrumentation and postmortem analysis in support of debugging (PO, BL), pp. 378–388.

DATE-2013-LiD #approach #debugging #hybrid #performance

A hybrid approach for fast and accurate trace signal selection for post-silicon debug (ML, AD), pp. 485–490.

ICSM-2013-LarssonH #debugging #mining

Mining Telecom System Logs to Facilitate Debugging Tasks (AL, AHL), pp. 536–539.

SEFM-2013-KeshishzadehMM #automation #debugging #detection #domain-specific language #fault #smt #using

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging (SK, AJM, MRM), pp. 182–196.

CHI-2013-KuttalSR #debugging #programming

Debugging support for end user mashup programming (SKK, AS, GR), pp. 1609–1618.

SEKE-2013-ZhangLK #debugging #on the #statistics

On the Use of Bug and Predicate Signatures for Statistical Debugging (YZ, EL, BK), pp. 249–299.

ECMFA-2013-0002G #debugging #execution #model transformation

End-User Support for Debugging Demonstration-Based Model Transformation Execution (YS, JG), pp. 86–100.

TOOLS-EUROPE-J-2012-LilisS13 #approach #debugging #fault #metaprogramming

An Integrated Approach to Source Level Debugging and Compile Error Reporting in Metaprograms (YL, AS), pp. 1–26.

LOPSTR-2013-GonzalezIS #architecture #debugging #eclipse #hybrid

A New Hybrid Debugging Architecture for Eclipse (JG, DI, JS), pp. 183–201.

PADL-2013-DreyMHC #debugging

Reversible Language Extensions and Their Application in Debugging (ZD, JFM, MVH, MC), pp. 206–221.

SAC-2013-LaurentBG #debugging #modelling #uml

Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.

SAC-2013-PougetSCM #approach #data flow #debugging #embedded #interactive #novel

A novel approach for interactive debugging of dynamic dataflow embedded applications (KP, MS, PLC, JFM), pp. 1547–1549.

ESEC-FSE-2013-MusluBM #debugging #testing

Data debugging with continuous testing (KM, YB, AM), pp. 631–634.

ICSE-2013-Jin #debugging

Reproducing and debugging field failures in house (WJ), pp. 1441–1443.

ICSE-2013-KhooFH #debugging #named

Expositor: scriptable time-travel debugging with first-class traces (YPK, JSF, MH), pp. 352–361.

ICSE-2013-PastoreMG #c #c++ #debugging #named #problem

RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.

ASPLOS-2013-ViennotNN #debugging #manycore #validation

Transparent mutable replay for multicore debugging and patch validation (NV, SN, JN), pp. 127–138.

CGO-2013-LiHCZ0L #debugging #effectiveness #fault #locality #set

Effective fault localization based on minimum debugging frontier set (FL, WH, CC, LZ, XF, ZL), p. 10.

LCTES-2013-MorenoFH #analysis #debugging #embedded

Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis (CM, SF, MAH), pp. 77–88.

PLOS-2013-AryaDVC #automation #debugging #process

Semi-automated debugging via binary search through a process lifetime (KA, TD, AMV, GC), p. 7.

ICLP-J-2013-BusoniuOPST #debugging #ide #named #programming

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support (PAB, JO, JP, PS, HT), pp. 657–673.

ICST-2013-PastoreM #debugging #named

AVA: Supporting Debugging with Failure Interpretations (FP, LM), pp. 416–421.

ISSTA-2013-Park #concurrent #debugging

Debugging non-deadlock concurrency bugs (SP), pp. 358–361.

TAP-2013-InsaSR #algorithm #debugging #execution #using

Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.

ASE-2012-BissyandeRLM #automation #debugging #generative #interface #kernel #linux #named

Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.

ASE-2012-CamposRPA #debugging #eclipse #named #plugin #testing

GZoltar: an eclipse plug-in for testing and debugging (JC, AR, AP, RA), pp. 378–381.

ASE-2012-YuLCZ #debugging #fault

Practical isolation of failure-inducing changes for debugging regression faults (KY, ML, JC, XZ), pp. 20–29.

DAC-2012-KengV #abstraction #debugging #design #refinement #satisfiability

Path directed abstraction and refinement in SAT-based design debugging (BK, AGV), pp. 947–954.

DAC-2012-YuanLX #configuration management #debugging #named

X-tracer: a reconfigurable X-tolerant trace compressor for silicon debug (FY, XL, QX), pp. 555–560.

DATE-2012-GaoWHZL #clustering #concurrent #debugging #manycore

A clustering-based scheme for concurrent trace in debugging NoC-based multicore systems (JG, JW, YH, LZ, XL), pp. 27–32.

DATE-2012-LeMKV #debugging #satisfiability #using

Non-solution implications using reverse domination in a modern SAT-based debugging environment (BL, HM, BK, AGV), pp. 629–634.

DATE-2012-PoulosYAVL #debugging #functional

Leveraging reconfigurability to raise productivity in FPGA functional debug (ZP, YSY, JA, AGV, BL), pp. 292–295.

DATE-2012-WilleSD #consistency #debugging #modelling #ocl #uml

Debugging of inconsistent UML/OCL models (RW, MS, RD), pp. 1078–1083.

VLDB-2012-KhoussainovaBS #debugging #named #performance #pipes and filters

PerfXplain: Debugging MapReduce Job Performance (NK, MB, DS), pp. 598–609.

WRLA-J-2010-RiescoVMC12 #debugging #declarative #logic #specification

Declarative debugging of rewriting logic specifications (AR, AV, NMO, RC), pp. 851–897.

CSMR-2012-Dovgalyuk #debugging #dynamic analysis #execution #multi

Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging (PD), pp. 553–556.

FLOPS-2012-CaballeroGS #debugging #declarative #sql

Declarative Debugging of Wrong and Missing Answers for SQL Views (RC, YGR, FSP), pp. 73–87.

CHI-2012-BogartBDAW #case study #debugging #design #interactive #programming

Designing a debugging interaction language for cognitive modelers: an initial case study in natural programming plus (CB, MMB, SD, HA, RW), pp. 2469–2478.

CIKM-2012-HerschelE #comprehension #data transformation #debugging

The nautilus analyzer: understanding and debugging data transformations (MH, HE), pp. 2731–2733.

OOPSLA-2012-GuBSS #debugging #reuse

Reusing debugging knowledge via trace-based bug search (ZG, ETB, DS, ZS), pp. 927–942.

TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise

Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.

LOPSTR-2012-InsaST #debugging #declarative

Enhancing Declarative Debugging with Loop Expansion and Tree Compression (DI, JS, CT), pp. 71–88.

ICSE-2012-BoosFJK #cyber-physical #debugging #framework #named

BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.

ICSE-2012-CeccatoMMNT #debugging #effectiveness #empirical #random testing #testing

An empirical study about the effectiveness of debugging when random test cases are used (MC, AM, LM, CDN, PT), pp. 452–462.

ICSE-2012-GoreR #bias #debugging #metric #statistics

Reducing confounding bias in predicate-level statistical debugging metrics (RG, PFRJ), pp. 463–473.

ICSE-2012-HanDGZX #debugging #in the large #mining #performance #stack

Performance debugging in the large via mining millions of stack traces (SH, YD, SG, DZ, TX), pp. 145–155.

ICSE-2012-JinO #debugging #named

BugRedux: Reproducing field failures for in-house debugging (WJ, AO), pp. 474–484.

ICSE-2012-Mayerhofer #debugging #modelling #testing #uml

Testing and debugging UML models based on fUML (TM), pp. 1579–1582.

ICSE-2012-RessiaBN #debugging

Object-centric debugging (JR, AB, ON), pp. 485–495.

CGO-2012-LueckPP #debugging #interface #named

PinADX: an interface for customizable debugging with dynamic instrumentation (GL, HP, CP), pp. 114–123.

PPoPP-2012-DinhAJGMR #debugging #parallel #scalability #statistics

Scalable parallel debugging with statistical assertions (MND, DA, CJ, AG, BM, LDR), pp. 311–312.

CAV-2012-PaulaHN #debugging #named #nondeterminism

nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.

CAV-2012-Schwartz-NarbonneLAM #debugging #named #parallel #source code

passert: A Tool for Debugging Parallel Programs (DSN, FL, DIA, SM), pp. 751–757.

ICST-2012-YuL #debugging #fault #towards

Towards Practical Debugging for Regression Faults (KY, ML), pp. 487–490.

TAP-2012-BruningGHK #debugging #modelling #ocl #uml

Evaluating and Debugging OCL Expressions in UML Models (JB, MG, LH, MK), pp. 156–162.

ASE-2011-GoreRK #debugging #statistics

Statistical debugging with elastic predicates (RG, PFRJ, DK), pp. 492–495.

ASE-2011-InsaS #algorithm #debugging

An optimal strategy for algorithmic debugging (DI, JS), pp. 203–212.

DATE-2011-GaoHL #debugging #multi

Eliminating data invalidation in debugging multiple-clock chips (JG, YH, XL), pp. 691–696.

DATE-2011-KengSV #automation #debugging

Automated debugging of SystemVerilog assertions (BK, SS, AGV), pp. 323–328.

DATE-2011-LiuX #debugging #multi #on the

On multiplexed signal tracing for post-silicon debug (XL, QX), pp. 685–690.

DATE-2011-MatsudaI #debugging #verification

Developing an integrated verification and debug methodology (AM, TI), pp. 503–504.

DATE-2011-Winterholer #debugging #embedded #requirements

Embedded software debug and test: Needs and requirements for innovations in debugging (MW), p. 721.

SIGMOD-2011-OlstonR #debugging #distributed #framework #monitoring

Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.

VLDB-2011-GlavicDMAH #debugging

Debugging Data Exchange with Vagabond (BG, JD, RJM, GA, LMH), pp. 1383–1386.

VLDB-2011-OlstonR #debugging #distributed #framework #monitoring

Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.

ITiCSE-2011-VirsedaM #debugging #education #semantics #source code #verification

An innovative teaching tool based on semantic tableaux for verification and debugging of programs (RdVV, FPM), p. 352.

ICSM-2011-BachwaniCBKZ #debugging #named

Sahara: Guiding the debugging of failed software upgrades (RB, OC, RB, DK, WZ), pp. 263–272.

WCRE-2011-Raber #debugging #kernel #profiling

Stealthy Profiling and Debugging of Malware Trampolining from User to Kernel Space (JR), pp. 431–432.

PLDI-2011-BudiLJL #behaviour #debugging #named

kb-anonymity: a model for anonymized behaviour-preserving test and debugging data (AB, DL, LJ, L), pp. 447–457.

SAS-2011-HuangZ #concurrent #debugging #performance #source code

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs (JH, CZ), pp. 163–179.

SEKE-2011-ShiozukaUK #debugging

Debug Concern Navigator (MS, NU, YK), pp. 197–202.

ECOOP-2011-PothierT #debugging #query #scalability

Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging (GP, ÉT), pp. 558–582.

PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.

SAC-2011-LinXYYZGQCG #anti #hardware #named #using

SPAD: software protection through anti-debugging using hardware virtualization (QL, MX, MY, PY, MZ, SG, ZQ, KC, HG), pp. 623–624.

ICSE-2011-ChandraTBB #debugging

Angelic debugging (SC, ET, SB, RB), pp. 121–130.

ICSE-2011-GuBS #debugging #named #reuse

BQL: capturing and reusing debugging knowledge (ZG, ETB, ZS), pp. 1001–1003.

ICSE-2011-OhHVP #concurrent #debugging #execution #framework #multi #named #thread

LIME: a framework for debugging load imbalance in multi-threaded execution (JO, CJH, GV, MP), pp. 201–210.

ICSE-2011-SoffaWM #debugging #hardware #testing

Exploiting hardware advances for software testing and debugging (MLS, KRW, JM), pp. 888–891.

LCTES-2011-NavabpourBF #debugging #testing #using

Software debugging and testing using the abstract diagnosis theory (SN, BB, SF), pp. 111–120.

LCTES-2011-WangLLFBL #debugging #dependence #multi #network

Dependence-based multi-level tracing and replay for wireless sensor networks debugging (MW, ZL, FL, XF, SB, YHL), pp. 91–100.

ICST-2011-MalikSK #constraints #data type #debugging #using

Constraint-Based Program Debugging Using Data Structure Repair (MZM, JHS, SK), pp. 190–199.

ISSTA-2011-ParninO #automation #debugging #question

Are automated debugging techniques actually helping programmers? (CP, AO), pp. 199–209.

TAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.

ASE-2010-VisserG #debugging #named

Impendulo: debugging the programmer (WV, JG), pp. 351–352.

ASE-2010-XingSLD #debugging #named #specification

SpecDiff: debugging formal specifications (ZX, JS, YL, JSD), pp. 353–354.

DAC-2010-ConstantinidesA #debugging #testing #using

Using introspective software-based testing for post-silicon debug and repair (KC, TMA), pp. 537–542.

DATE-2010-NeishaburiZ #clustering #debugging #performance

Enabling efficient post-silicon debug by clustering of hardware-assertions (MHN, ZZ), pp. 985–988.

DATE-2010-WenCCL #debugging #named #parallel #runtime #source code

RunAssert: A non-intrusive run-time assertion for parallel programs debugging (CNW, SHC, TFC, TJL), pp. 287–290.

WRLA-2010-RiescoVM #debugging #maude #specification

Enhancing the Debugging of Maude Specifications (AR, AV, NMO), pp. 226–242.

CSMR-2010-MyersSS #debugging #scalability

Utilizing Debug Information to Compact Loops in Large Program Traces (DM, MADS, MS), pp. 41–50.

CHI-2010-GrigoreanuBR #approach #debugging #design #tool support

A strategy-centric approach to the design of end-user debugging tools (VG, MMB, GGR), pp. 713–722.

SOFTVIS-2010-AftandilianKGRSG #comprehension #debugging #interactive #named #visualisation

Heapviz: interactive heap visualization for program understanding and debugging (EA, SK, CG, NPR, SLS, SZG), pp. 53–62.

SOFTVIS-2010-ChengTWH #animation #automation #debugging #named

xDIVA: automatic animation between debugging break points (YPC, HYT, CSW, CHH), pp. 221–222.

ECOOP-2010-DhooliaMSS #debugging #using

Debugging Model-Transformation Failures Using Dynamic Tainting (PD, SM, VSS, SS), pp. 26–51.

GPCE-J-2007-CulpepperF10 #debugging #metaprogramming

Debugging hygienic macros (RC, MF), pp. 496–515.

LOPSTR-2010-InsaS #algorithm #debugging #execution #scalability

Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.

FSE-2010-BanerjeeRHL #debugging #implementation

Golden implementation driven software debugging (AB, AR, JAH, ZL), pp. 177–186.

FSE-2010-JalbertS #concurrent #debugging #effectiveness #source code

A trace simplification technique for effective debugging of concurrent programs (NJ, KS), pp. 57–66.

ICSE-2010-ZhangYZCY #automation #debugging #generative #named

BPGen: an automated breakpoint generator for debugging (CZ, DY, JZ, YC, SY), pp. 271–274.

SLE-2010-BandenerSE #behaviour #debugging #execution #specification #visual notation

Extending DMM Behavior Specifications for Visual Execution and Debugging (NB, CS, GE), pp. 357–376.

SLE-2010-MannadiarV #debugging #modelling

Debugging in Domain-Specific Modelling (RM, HV), pp. 276–285.

HPDC-2010-AbramsonDKMD #debugging #parallel

Data centric highly parallel debugging (DA, MND, DK, BM, LDR), pp. 119–129.

PPoPP-2010-ZyulkyarovHUCV #debugging #memory management #source code #transaction

Debugging programs that use atomic blocks and transactional memory (FZ, TH, OSÜ, AC, MV), pp. 57–66.

ICLP-2010-Lopez-GarciaDB10 #debugging #framework #resource management #verification

A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification (PLG, LD, FB), pp. 104–113.

ICLP-J-2010-BrummayerJ #debugging #development #testing

Testing and debugging techniques for answer set solver development (RB, MJ), pp. 741–758.

ICLP-J-2010-OetschPT #debugging #source code

Catching the Ouroboros: On debugging non-ground answer-set programs (JO, JP, HT), pp. 513–529.

ICST-2010-HeiskanenJK #debugging #modelling #testing #user interface

Debug Support for Model-Based GUI Testing (HH, AJ, MK), pp. 25–34.

RTA-2010-RiescoVM #debugging #declarative #maude

Declarative Debugging of Missing Answers for Maude (AR, AV, NMO), pp. 277–294.

SAT-2010-BrummayerLB #automation #debugging #satisfiability #testing

Automated Testing and Debugging of SAT and QBF Solvers (RB, FL, AB), pp. 44–57.

TAP-2010-ChebaroKGJ #c #debugging #generative #static analysis #testing

Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.

QoSA-2009-WaignierMD #component #debugging #design #framework #modelling

A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems (GW, AFLM, LD), pp. 1–17.

ASE-2009-MalikGEK #automation #data type #debugging #using

A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.

ASE-2009-WimmerKSKRS #debugging #petri net #qvt

A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.

DAC-2009-Bertacco #debugging

Debugging strategies for mere mortals (VB), pp. 635–638.

DAC-2009-FujitaKG #debugging

Debugging from high level down to gate level (MF, YK, AMG), pp. 627–630.

DAC-2009-RanjanCS #debugging #verification

Beyond verification: leveraging formal for debugging (RKR, CC, SS), pp. 648–651.

DAC-2009-SiegelMP #debugging #performance

Untwist your brain: efficient debugging and diagnosis of complex assertions (MS, AM, CP), pp. 644–647.

DAC-2009-VishnoiPB #debugging #online

Online cache state dumping for processor debug (AV, PRP, MB), pp. 358–363.

DAC-2009-WenCCS #architecture #concurrent #debugging #detection #manycore #named

NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core (CNW, SHC, TFC, APS), pp. 148–153.

DATE-2009-GoossensVN #debugging

A high-level debug environment for communication-centric debug (KG, BV, ABN), pp. 202–207.

DATE-2009-SulflowFBKD #debugging #satisfiability

Increasing the accuracy of SAT-based debugging (AS, GF, CB, UK, RD), pp. 1326–1331.

DATE-2009-VishnoiPB #debugging

Cache aware compression for processor debug support (AV, PRP, MB), pp. 208–213.

DATE-2009-WilleGFDD #debugging #network

Debugging of Toffoli networks (RW, DG, SF, GWD, RD), pp. 1284–1289.

DATE-2009-YangNV #automation #data analysis #debugging

Automated data analysis solutions to silicon debug (YSY, NN, AGV), pp. 982–987.

ICPC-2009-StefikG #debugging #empirical #using

Using spoken text to aid debugging: An empirical study (AS, EG), pp. 110–119.

SEKE-2009-Al-SharifJ #architecture #debugging #multi

A Multi-agent Debugging Extension Architecture (ZAS, CLJ), pp. 194–199.

SEKE-2009-Al-SharifJ09a #debugging

Language Support for Event-based Debugging (ZAS, CLJ), pp. 392–399.

MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using

Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.

MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using

Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.

ECOOP-2009-HostO #debugging

Debugging Method Names (EWH, BMØ), pp. 294–317.

OOPSLA-2009-LeeHGM #debugging

Debug all your code: portable mixed-environment debugging (BL, MH, RG, KSM), pp. 207–226.

TOOLS-EUROPE-2009-LienhardFN #debugging

Flow-Centric, Back-in-Time Debugging (AL, JF, ON), pp. 272–288.

PPDP-2009-Virseda #algorithm #debugging #declarative #framework #higher-order #logic #source code #verification

A higher-order logical framework for the algorithmic debugging and verification of declarative programs (RdVV), pp. 49–60.

SAC-2009-MaengKSR #architecture #debugging #embedded #named #realtime

RT-replayer: a record-replay architecture for embedded real-time software debugging (JCM, JIK, MKS, MR), pp. 1670–1675.

ESEC-FSE-2009-AshokJLRSV #debugging #named #recommendation

DebugAdvisor: a recommender system for debugging (BA, JMJ, HL, SKR, GS, VV), pp. 373–382.

ESEC-FSE-2009-QiRLV #approach #debugging #evolution #named #source code

Darwin: an approach for debugging evolving programs (DQ, AR, ZL, KV), pp. 33–42.

ESEC-FSE-2009-Zeller #debugging

Debugging debugging: acm sigsoft impact paper award keynote (AZ), pp. 263–264.

ICSE-2009-ChilimbiLMNV #debugging #effectiveness #named #performance #profiling #statistics

HOLMES: Effective statistical debugging via efficient path profiling (TMC, BL, KKM, AVN, KV), pp. 34–44.

ICSE-2009-HaoZZSM #debugging #interactive #named #visual notation

VIDA: Visual interactive debugging (DH, LZ, LZ, JS, HM), pp. 583–586.

ASPLOS-2009-DimitrovZ #approach #automation #debugging #predict #validation

Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging (MD, HZ), pp. 61–72.

CC-2009-DaoAKV #debugging #distributed

Live Debugging of Distributed Systems (DD, JRA, CEK, AV), pp. 94–108.

CGO-2009-KumarCS #debugging

Transparent Debugging of Dynamically Optimized Code (NK, BRC, MLS), pp. 275–286.

LCTES-2009-McKechnieBV #debugging #monitoring #transaction

Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring (PEM, MB, WV), pp. 129–136.

SOSP-2009-AltekarS #debugging #manycore #named

ODR: output-deterministic replay for multicore debugging (GA, IS), pp. 193–206.

SOSP-2009-GlerumKGAONGLH #debugging #experience #implementation #scalability

Debugging in the (very) large: ten years of implementation and experience (KG, KK, SG, GA, VO, GN, DG, GL, GCH), pp. 103–116.

ICLP-2009-Ducasse #debugging

(C)LP Tracing and Debugging (MD), p. 38.

ICLP-2009-WittocxVD #debugging

Debugging for Model Expansion (JW, HV, MD), pp. 296–311.

TestCom-FATES-2009-SteinertPBLH #debugging

Debugging into Examples (BS, MP, MB, JL, RH), pp. 235–240.

ASE-2008-HsuJO #agile #debugging #identification #named #process

Rapid: Identifying Bug Signatures to Support Debugging Activities (HYH, JAJ, AO), pp. 439–442.

ASE-2008-MayerS #debugging #modelling

Evaluating Models for Model-Based Debugging (WM, MS), pp. 128–137.

ASE-2008-Yom-TovTUH #automation #concurrent #debugging #random #source code

Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections (EYT, RT, SU, SH), pp. 307–316.

DAC-2008-HsiehH #debugging #embedded #framework #interface

An embedded infrastructure of debug and trace interface for the DSP platform (MCH, CTH), pp. 866–871.

DATE-2008-ChattopadhyayZ #debugging #online

Built-in Clock Skew System for On-line Debug and Repair (AC, ZZ), pp. 248–251.

DATE-2008-TangX #debugging #transaction

In-band Cross-Trigger Event Transmission for Transaction-Based Debug (ST, QX), pp. 414–419.

ICSM-2008-ZhangGLZ08a #aspectj #automation #debugging #named

AutoFlow: An automatic debugging tool for AspectJ software (SZ, ZG, YL, JZ), pp. 470–471.

SCAM-2008-GorbovitskiTRSL #analysis #debugging #performance

Analysis and Transformations for Efficient Query-Based Debugging (MG, KTT, TR, SDS, YAL), pp. 174–183.

CHI-2008-SubrahmaniyanBGBWNBDF #debugging #testing #what

Testing vs. code inspection vs. what else?: male and female end users’ debugging strategies (NS, LB, VG, MMB, SW, VN, KB, RD, XZF), pp. 617–626.

ICEIS-J-2008-Zacharias08a #challenge #debugging #rule-based

Tackling the Debugging Challenge of Rule Based Systems (VZ), pp. 144–154.

ECOOP-2008-LienhardGN #debugging #object-oriented

Practical Object-Oriented Back-in-Time Debugging (AL, TG, ON), pp. 592–615.

PPDP-2008-ChitilD #algorithm #debugging #finite #functional #higher-order #source code

Comprehending finite maps for algorithmic debugging of higher-order functional programs (OC, TD), pp. 205–216.

SAC-2008-PothierT #aspect-oriented #debugging #programming

Extending omniscient debugging to support aspect-oriented programming (GP, ÉT), pp. 266–270.

ICSE-2008-KoM #behaviour #debugging #why

Debugging reinvented: asking and answering why and why not questions about program behavior (AJK, BAM), pp. 301–310.

CC-2008-ZhaoRARW #debugging #how #performance #using

How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation (QZ, RMR, SPA, LR, WFW), pp. 147–162.

ISSTA-2008-Liblit #debugging #testing

Cooperative debugging with five hundred million test cases (BL), pp. 119–120.

ASE-2007-JiangS #control flow #debugging #predict #statistics

Context-aware statistical debugging: from bug predictors to faulty control flow paths (LJ, ZS), pp. 184–193.

ASE-2007-YilmazW #approach #automation #debugging #modelling

An automated model-based debugging approach (CY, CW), pp. 174–183.

DATE-2007-AnisN #architecture #debugging #interactive #low cost #using

Interactive presentation: Low cost debug architecture using lossy compression for silicon debug (EA, NN), pp. 225–230.

DATE-2007-SafarpourV #abstraction #automation #debugging #design #refinement

Abstraction and refinement techniques in automated design debugging (SS, AGV), pp. 1182–1187.

DATE-2007-TangX #debugging #framework #manycore

A multi-core debug platform for NoC-based systems (ST, QX), pp. 870–875.

ICSM-2007-NagarajanJGG #debugging #named #online #performance

ONTRAC: A system for efficient ONline TRACing for debugging (VN, DJ, RG, NG), pp. 445–454.

ICSM-2007-OsterlieW #debugging

Debugging Integrated Systems: An Ethnographic Study of Debugging Practice (TØ, AIW), pp. 305–314.

IFL-2007-BrasselS #debugging #functional #lazy evaluation #source code

Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.

VISSOFT-2007-VoineaT #debugging #process #repository #source code #visualisation

Visualizing Debugging Activity in Source Code Repositories (LV, ACT), pp. 156–157.

SEKE-2007-ZachariasA #debugging #on the #rule-based

On Modern Debugging For Rule-Based Systems (VZ, AA), pp. 349–353.

MoDELS-2007-HibberdLR #debugging #forensics #model transformation

Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.

MoDELS-2007-PilskalnsWI #debugging #runtime #uml #using

Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.

MoDELS-2007-HibberdLR #debugging #forensics #model transformation

Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.

MoDELS-2007-PilskalnsWI #debugging #runtime #uml #using

Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.

OOPSLA-2007-PothierTP #debugging #scalability

Scalable omniscient debugging (GP, ÉT, JMP), pp. 535–552.

GPCE-2007-CulpepperF #debugging #metaprogramming

Debugging macros (RC, MF), pp. 135–144.

POPL-2007-PolishchukLS #comprehension #debugging #type inference

Dynamic heap type inference for program understanding and debugging (MP, BL, CWS), pp. 39–46.

ICSE-2007-AbrahamE #debugging #named #spreadsheet

GoalDebug: A Spreadsheet Debugger for End Users (RA, ME), pp. 251–260.

ICSE-2007-ClauseO #debugging

A Technique for Enabling and Supporting Debugging of Field Failures (JAC, AO), pp. 261–270.

HPCA-2007-VenkataramaniRSP #debugging #memory management #monitoring #named #performance #programmable

MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging (GV, BR, YS, MP), pp. 273–284.

ICLP-2007-CaballeroRV #constraints #debugging #declarative #functional #logic programming

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.

ISSTA-2007-JonesHB #debugging #parallel

Debugging in Parallel (JAJ, MJH, JFB), pp. 16–26.

ISSTA-2007-NainarCRL #debugging #statistics #using

Statistical debugging using compound boolean predicates (PAN, TC, JR, BL), pp. 5–15.

ISSTA-2007-TzorefUY #automation #concurrent #debugging

Instrumenting where it hurts: an automatic concurrent debugging technique (RT, SU, EYT), pp. 27–38.

DAC-2006-AbramoviciBDLMM #configuration management #framework

A reconfigurable design-for-debug infrastructure for SoCs (MA, PB, KND, PL, GM, DM), pp. 7–12.

DAC-2006-HsuTJC #debugging

Visibility enhancement for silicon debug (YCH, FST, WJ, YTC), pp. 13–18.

DAC-2006-Josephson #debugging

The good, the bad, and the ugly of silicon debug (DJ), pp. 3–6.

DATE-DF-2006-AkselrodAA #architecture #debugging #framework #independence #multi #security

Platform independent debug port controller architecture with security protection for multi-processor system-on-chip ICs (DA, AA, YA), pp. 30–35.

VLDB-2006-ChiticariuT #debugging

Debugging Schema Mappings with Routes (LC, WCT), pp. 79–90.

ESOP-2006-LalLPL #debugging #optimisation #source code

Path Optimization in Programs and Its Application to Debugging (AL, JL, MP, BL), pp. 246–263.

FASE-2006-KobW #calculus #debugging #using

Fundamentals of Debugging Using a Resolution Calculus (DK, FW), pp. 278–292.

ICPC-2006-StefikFA #comprehension #debugging #effectiveness #music #runtime #using

Layered Program Auralization: Using Music to Increase Runtime Program Comprehension and Debugging Effectiveness (AS, KF, RTA), pp. 89–93.

CHI-2006-BeckwithKBWLBC #debugging #gender

Tinkering and gender in end-user programmers’ debugging (LB, CK, MMB, SW, JL, AFB, CRC), pp. 231–240.

SOFTVIS-2006-LiuV #animation #control flow #debugging #low level

Animation of control flow for low-level debugging (HL, FSV), pp. 157–158.

ICML-2006-ZhengJLNA #debugging #identification #multi #statistics

Statistical debugging: simultaneous identification of multiple bugs (AXZ, MIJ, BL, MN, AA), pp. 1105–1112.

SEKE-2006-MayerS #coordination #debugging #web #web service

Debugging Failures in Web Services Coordination (WM, MS), pp. 536–543.

GPCE-2006-PorkolabMS #c++ #debugging #metaprogramming

Debugging C++ template metaprograms (ZP, JM, ÁS), pp. 255–264.

LOPSTR-2006-Silva #algorithm #case study #comparative #debugging

A Comparative Study of Algorithmic Debugging Strategies (JS), pp. 143–159.

PPDP-2006-SilvaC #algorithm #debugging #slicing

Combining algorithmic debugging and program slicing (JS, OC), pp. 157–166.

ICSE-2006-Ko #debugging

Debugging by asking questions about program output (AJK), pp. 989–992.

ICSE-2006-Misherghi #debugging #named

HDD: hierarchical Delta Debugging (GM, ZS), pp. 142–151.

CASE-2005-AbdelhameedD #debugging #logic #network #programmable #source code

Diagnosis and debugging of programmable logic controller control programs by neural networks (MMA, HD), pp. 313–318.

DATE-2005-MayerSM #debugging #multi

Debug Support, Calibration and Emulation for Multiple Processor and Powertrain Control SoCs (AM, HS, KDMM), pp. 148–152.

DATE-2005-Takeuchi #debugging #lightweight #monitoring #using #virtual machine

OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.

DATE-2005-YangVTV #automation #debugging #design #fault #modelling #power management

Extraction Error Modeling and Automated Model Debugging in High-Performance Low Power Custom Designs (YSY, AGV, PJT, SV), pp. 996–1001.

ITiCSE-2005-AhmadzadehEH #analysis #debugging #student

An analysis of patterns of debugging among novice computer science students (MA, DE, CH), pp. 84–88.

TACAS-2005-KellerSBS #c #debugging #model checking #named #source code

FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs (CWK, DS, SB, SAS), pp. 563–569.

ICSM-2005-BriandDL #aspect-oriented #contract #debugging #programming

Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging (LCB, WJD, YL), pp. 687–690.

ICSM-2005-ChesleyRR #debugging #java #named #source code

Crisp: A Debugging Tool for Java Programs (OCC, XR, BGR), pp. 401–410.

SCAM-2005-Singer #code generation #concept #debugging

Concept Assignment as a Debugging Technique for Code Generators (JS), pp. 75–86.

SEFM-2005-Trakhtenbrot #debugging #testing #verification

Use of Verification for Testing and Debugging of Complex Reactive Systems (MBT), pp. 13–22.

CHI-2005-BeckwithBWCSH #debugging #effectiveness #gender #question

Effectiveness of end-user debugging software features: are there gender issues? (LB, MMB, SW, CRC, SS, MH), pp. 869–878.

SAC-2005-WuGRM #debugging #domain-specific language #weaving

Weaving a debugging aspect into domain-specific language grammars (HW, JGG, SR, MM), pp. 1370–1374.

LDTA-2005-BrandCOV #debugging #framework #named #tool support

TIDE: A Generic Debugging Framework — Tool Demonstration (MvdB, BC, PAO, JJV), pp. 161–165.

CC-2005-RyuR #debugging #multi #programming

Source-Level Debugging for Multiple Languages with Modest Programming Effort (SR, NR), pp. 10–26.

HPCA-2005-CorlissLR #debugging #interactive

Low-Overhead Interactive Debugging via Dynamic Instrumentation with DISE (MLC, ECL, AR), pp. 303–314.

ASE-2004-MarceauCKR #data flow #debugging

Dataflow Language for Scriptable Debugging (GM, GHC, SK, SPR), pp. 218–227.

DAC-2004-VermeulenUG #automation #debugging #generative #hardware

Automatic generation of breakpoint hardware for silicon debug (BV, MZU, SKG), pp. 514–517.

DAC-2004-YoussefYSPJ #case study #debugging #design #interface #video

Debugging HW/SW interface for MPSoC: video encoder system design case study (MWY, SY, AS, YP, AAJ), pp. 908–913.

FASE-2004-HeG #automation #debugging #using

Automated Debugging Using Path-Based Weakest Preconditions (HH, NG), pp. 267–280.

ICSM-2004-GalliLNW #debugging #testing

Ordering Broken Unit Tests for Focused Debugging (MG, ML, ON, RW), pp. 114–123.

ICSM-2004-IshioKI #aspect-oriented #debugging #graph #slicing

Debugging Support for Aspect-Oriented Program Based on Program Slicing and Call Graph (TI, SK, KI), pp. 178–187.

FLOPS-2004-CaballeroR #debugging #declarative #functional #named

DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.

AFP-2004-Pope04 #debugging #declarative

Declarative Debugging with Buddha (BP), pp. 273–308.

ICFP-2004-ChristiansenH #concurrent #debugging #haskell #source code

Searching for deadlocks while debugging concurrent haskell programs (JC, FH), pp. 28–39.

ICFP-2004-Graham #debugging #programming

Don’t make the wrong mistakes: programming as debugging (PG), p. 66.

CHI-2004-KoM #behaviour #debugging #design #interface

Designing the whyline: a debugging interface for asking questions about program behavior (AJK, BAM), pp. 151–158.

CHI-2004-RobertsonPBCRBP #debugging

Impact of interruption style on end-user debugging (TJR, SP, MMB, CRC, JRR, LB, AP), pp. 287–294.

SAC-2004-DemetrescuF #debugging #virtual machine

A portable virtual machine for program debugging and directing (CD, IF), pp. 1524–1530.

ICSE-2004-HenkelD #algebra #debugging #specification

A Tool for Writing and Debugging Algebraic Specifications (JH, AD), pp. 449–458.

OSDI-2004-WhitakerCG #debugging

Configuration Debugging as Search: Finding the Needle in the Haystack (AW, RSC, SDG), pp. 77–90.

ICLP-2004-LangevineD #debugging #monitoring #visualisation

A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer (LL, MD), pp. 462–463.

ASE-2003-MayerS #debugging #exception #source code

Extending Diagnosis to Debug Programs with Exceptions (WM, MS), pp. 240–244.

ASE-2003-SearleGA #automation #debugging

Automating Relative Debugging (AS, JG, DA), pp. 356–359.

ASE-2003-ShlyakhterSJST #debugging #declarative #modelling #satisfiability #using

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (IS, RS, DJ, MS, MT), pp. 94–105.

DAC-2003-HsuTCT #debugging

Advanced techniques for RTL debugging (YCH, BT, YAC, FST), pp. 362–367.

DATE-2003-RoychoudhuryMK #debugging #protocol #using

Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol (AR, TM, SRK), pp. 10828–10833.

CSMR-2003-ChaimMJ #debugging #requirements

A Debugging Strategy Based on Requirements of Testin (MLC, JCM, MJ), pp. 160–169.

PLDI-2003-AmmonsMBL #concept analysis #debugging #specification

Debugging temporal specifications with concept analysis (GA, DM, RB, JRL), pp. 182–195.

SEFM-2003-DeharbeR #debugging #proving #theorem proving #verification

Light-Weight Theorem Proving for Debugging and Verifying Units of Code (DD, SR), pp. 220–228.

SOFTVIS-2003-JacobsM #debugging #interactive #uml #visual notation

Interactive Visual Debugging with UML (TJ, BM), pp. 115–122.

PPDP-2003-PopeN #aspect-oriented #debugging #declarative #haskell

Practical aspects of declarative debugging in Haskell 98 (BP, LN), pp. 230–240.

SOSP-2003-AguileraMWRM #black box #debugging #distributed #performance

Performance debugging for distributed systems of black boxes (MKA, JCM, JLW, PR, AM), pp. 74–89.

ASE-2002-AugustonJU #automation #debugging #framework

A Framework for Automatic Debugging (MA, CJ, SU), pp. 217–222.

DATE-2002-PomeranzRR #debugging #fault

Finding a Common Fault Response for Diagnosis during Silicon Debug (IP, JR, SMR), p. 1116.

TACAS-2002-GunterP #concurrent #debugging

Temporal Debugging for Concurrent Systems (ELG, DP), pp. 431–444.

PASTE-2002-AkgulM #debugging #execution

Instruction-level reverse execution for debugging (TA, VJM), pp. 18–25.

PASTE-2002-TikirHL #debugging

Recompilation for debugging support in a JIT-compiler (MMT, JKH, GYL), pp. 10–17.

SCAM-2002-XuCY #debugging #object-oriented #slicing #source code

Dynamic Slicing Object-Oriented Programs for Debugging (BX, ZC, HY), pp. 115–122.

ICALP-2002-HermenegildoPBL #approximate #debugging #semantics #specification #using #validation

Program Debugging and Validation Using Semantic Approximations and Partial Specifications (MVH, GP, FB, PLG), pp. 69–72.

PADL-2002-BunusF #debugging #declarative #equation #modelling

A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.

POPL-2002-BallR #debugging #static analysis

The SLAM project: debugging system software via static analysis (TB, SKR), pp. 1–3.

HPDC-2002-MatthewsHJL #automation #backtracking #debugging #source code

Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs (GM, RH, SJ, PFL), p. 150–?.

LCTES-SCOPES-2002-WakabayashiT #adaptation #approach #debugging #evaluation #interface #specification #standard

Standardization approach of ITRON debugging interface specification and evaluation of its adaptability (TW, HT), pp. 65–74.

OSDI-2002-KumarL #debugging #model checking #using

Using Model Checking to Debug Device Firmware (SK, KL), pp. 61–74.

ICLP-2002-OsorioNA #approach #debugging #logic #prolog

Debugging in A-Prolog: A Logical Approach (MO, JANP, JA), pp. 482–483.

FASE-2001-LoginovYHR #debugging #runtime #type checking

Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.

IWPC-J-1999-FrancelR01 #debugging #slicing

The value of slicing while debugging (MAF, SR), pp. 151–169.

PASTE-2001-AncourtN #array #debugging #maintenance #reuse

Array resizing for scientific code debugging, maintenance and reuse (CA, TVNN), pp. 32–37.

WCRE-2001-CifuentesWE #analysis #debugging #decompiler #security

Computer Security Analysis through Decompilation and High-Level Debugging (CC, TW, MVE), pp. 375–380.

FLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.

FLOPS-2001-Delzanno #case study #debugging #prolog #protocol #security #specification

Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λ Prolog — A Case-study (GD), pp. 123–137.

ICFP-2001-Chitil #algorithm #composition #debugging #fault

Compositional Explanation of Types and Algorithmic Debugging of Type Errors (OC), pp. 193–204.

SVIS-2001-LengenB #debugging #distributed #ecosystem #visualisation

Visualisation and Debugging of Decentralised Information Ecosystems (RHvL, JTB), pp. 395–404.

SVIS-2001-Mehner #concurrent #debugging #java #named #source code #uml #visualisation

JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs (KM), pp. 163–175.

SVIS-2001-OechsleS #automation #debugging #diagrams #interface #java #named #sequence chart #using #visualisation

JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) (RO, TS), pp. 176–190.

LOPSTR-2001-DelzannoE #debugging #logic programming #protocol #proving #security

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols (GD, SE), pp. 76–90.

SAC-2001-FerrariT #calculus #debugging #mobile

A debugging calculus for mobile ambients (GLF, ET).

SAC-2001-Flater #case study #debugging #interactive

Debugging agent interactions: a case study (DWF), pp. 107–114.

ICSE-2001-HobatrM #c++ #debugging #using

Using OCL-Queries for Debugging C++ (CH, BAM), pp. 839–840.

DAC-2000-LachMP #debugging #detection #fault #locality #performance

Efficient error detection, localization, and correction for FPGA-based debugging (JL, WHMS, MP), pp. 207–212.

ESOP-2000-ElgaardMS #c #debugging #source code

Compile-Time Debugging of C Programs Working on Trees (JE, AM, MIS), pp. 119–134.

PLDI-2000-Boothe #algorithm #bidirectional #debugging #performance

Efficient algorithms for bidirectional debugging (BB), pp. 299–310.

IFL-2000-ChitilRW #comparative #debugging #evaluation #functional #lazy evaluation #source code

Freja, Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs (OC, CR, MW), pp. 176–193.

FSE-2000-ButkevichRBY #compilation #debugging #protocol #tool support

Compiler and tool support for debugging object protocols (SB, MR, GB, MY), pp. 50–59.

LCTES-2000-LeeLKK #debugging #design #embedded #implementation #internet

A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software (KL, CL, KK, HNK), pp. 199–203.

ASE-1999-GoualardB #constraints #debugging #visualisation

A Visualization Tool for Constraint Program Debugging (FG, FB), p. 110–?.

IWPC-1999-FrancelR #comprehension #debugging #slicing

The Relationship of Slicing and Debugging to Program Understanding (MAF, SR), pp. 106–113.

PLDI-1999-WuMPOH #debugging #framework

A New Framework for Debugging Globally Optimized Code (LCW, RM, HP, BO, WmWH), pp. 181–191.

ICFP-1999-Nilsson #debugging #functional #lazy evaluation

Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages (HN), pp. 36–47.

HCI-EI-1999-RigasKO #communication #debugging #named

AUDIOTEST: Utilising Audio to Communicate Information in Program Debugging (DIR, MARK, DO), pp. 1293–1297.

ECOOP-1999-LenceviciusHS #debugging

Dynamic Query-Based Debugging (RL, UH, AKS), pp. 135–160.

LOPSTR-1999-PueblaBH #constraints #debugging #logic programming #source code

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (GP, FB, MVH), pp. 273–292.

PADL-1999-Lai #constraints #debugging #proving #using

Using Constraints in Local Proofs for CLP Debugging (CL), pp. 350–359.

ESEC-FSE-1999-GyimothyBF #debugging #performance #slicing

An Efficient Relevant Slicing Method for Debugging (TG, ÁB, IF), pp. 303–321.

ESEC-FSE-1999-JaramilloGS #approach #comparison #debugging

Comparison Checking: An Approach to Avoid Debugging of Optimized Code (CJ, RG, MLS), pp. 268–284.

CC-1999-Sloane #compilation #debugging

Debugging Eli-Generated Compilers With Noosa (AMS), pp. 17–31.

ICLP-1999-HermenegildoBPL #debugging #optimisation #preprocessor #program analysis #using

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor (MVH, FB, GP, PLG), pp. 52–66.

ASE-1998-McCluskeyW #automation #debugging #maintenance #modelling #requirements #towards

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models (TLM, MMW), pp. 105–114.

DATE-1998-X #debugging

Silicon Debug of Systems-on-Chips, pp. 632–633.

SIGMOD-1998-KornackerSH #debugging #named

amdb: An Access Method Debugging Tool (MK, MAS, JMH), pp. 570–571.

LOPSTR-1998-MalletD #database #debugging #deduction #named #relational

Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging (SM, MD), pp. 328–330.

CC-1998-Pettersson #debugging #profiling

Portable Debugging and Profiling (MP), pp. 279–293.

LCTES-1998-AroraS #debugging #embedded #realtime

A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems (GA, DBS), pp. 83–97.

LCTES-1998-HinesB #debugging #distributed #implementation #process

Debugging Distributed Implementations of Modal Process Systems (KH, GB), pp. 98–107.

ASE-1997-Gaugne #comprehension #debugging #static analysis

A Static Analysis for Program Understanding and Debugging (RG), pp. 297–298.

DAC-1997-FangWY #debugging #online #realtime

A Real-Time RTL Engineering-Change Method Supporting On-Line Debugging for Logic-Emulation Applications (WJF, ACHW, TYY), pp. 101–106.

EDTC-1997-DasdanMG #analysis #constraints #debugging #embedded #named

RATAN: A tool for rate analysis and rate constraint debugging for embedded systems (AD, AM, RKG), pp. 2–6.

CHI-1997-WilcoxABCC #debugging #feedback #programming #question #visual notation

Does Continuous Visual Feedback Aid Debugging in Direct-Manipulation Programming Systems? (EMW, JWA, MMB, JJC, CRC), pp. 258–265.

TRI-Ada-1997-NeriPT #debugging #distributed

Debugging Distributed Applications with Replay Capabilities (DN, LP, ST), pp. 189–195.

TRI-Ada-1997-Tucker #ada #debugging

Debugging Highly-Optimized Ada with Code Motion (DHACM) (KT), pp. 197–203.

OOPSLA-1997-LenceviciusHS #debugging #object-oriented #source code

Query-Based Debugging of Object-Oriented Programs (RL, UH, AKS), pp. 304–317.

TOOLS-USA-1997-GilH #debugging #generative #source code #testing #using

T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation (JYG, BH), pp. 272–281.

PLDI-1996-Adl-TabatabaiG #debugging

Source-Level Debugging of Scalar Optimized Code (ARAT, TRG), pp. 33–43.

PLDI-1996-FlanaganFKWF #debugging #invariant #web

Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.

FME-1996-ArnoldBR #debugging #embedded #formal method

An Example of Use of Formal Methods to Debug an Embedded Software (AA, DB, JPR), pp. 649–661.

SEKE-1996-FoxBM #automation #debugging #fault #pascal #process #syntax

Automating the Debugging Process of Pascal Syntax Errors (RF, CB, JM), pp. 92–99.

SEKE-1996-LawM #debugging #object-oriented

Debugging of Object-Oriented Software (RCHL, RBM), pp. 77–84.

SEKE-1995-YoonG #debugging #framework

A Cognitive Framework of Debugging (BdY, ONG), pp. 304–311.

PLILP-1995-Arenas-SanchezG #debugging #lazy evaluation

A Debugging Model for Lazy Narrowing (PAS, AGL), pp. 453–454.

EDAC-1994-NaganumaOH #algorithm #debugging #design #using #validation

High-Level Design Validation Using Algorithmic Debugging (JN, TO, TH), pp. 474–480.

ICSM-1994-RegelsonA #debugging #legacy

Debugging Practices for Complex Legacy Software Systems (ER, AA), pp. 137–143.

PLDI-1994-NetzerW #debugging #incremental #source code

Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs (RHBN, MHW), pp. 313–325.

PLDI-1994-Wismuller #analysis #data flow #debugging #source code #using

Debugging of Globally Optimized Programs Using Data Flow Analysis (RW), pp. 278–289.

SEKE-1994-Auguston #automation #debugging

A language for debugging automation (MA), pp. 108–115.

LOPSTR-1994-CominiLV #debugging #logic programming

Abstract Debugging of Logic Program (MC, GL, GV), pp. 440–450.

ICSE-1994-TakadaMT #debugging #performance #process #testing

A Programmer Performance Measure Based on Programmer State Transitions in Testing and Debugging Process (YT, KiM, KT), pp. 123–132.

CC-1994-PineoS #approach #debugging

A Practical Approach to the Symbolic Debugging of Parallelized Code (PPP, MLS), pp. 339–356.

ISSTA-1994-PollockBS #debugging

Debugging Optimized Code Via Tailoring (Abstract) (LLP, MPB, MLS), p. 201.

DAC-1993-Kra #co-evolution #design #hardware

A Cross-Debugging Method for Hardware/Software Co-design Environments (YK), pp. 673–677.

PLDI-1993-Bourdoncle #debugging #higher-order #imperative

Abstract Debugging of Higher-Order Imperative Languages (FB), pp. 46–55.

TRI-Ada-1993-KoehnemannL #debugging #embedded #testing #tool support #towards

Towards Target-Level Testing and Debugging Tools for Embedded Software (HK, TEL), pp. 288–298.

SEKE-1993-TsaiLN #approach #debugging #requirements #specification

Debugging Logic-Based Requirements Specifications — a FRORL Approach (JJPT, AL, KRN), pp. 372–379.

PLILP-1993-HanusJ #debugging #functional #logic programming #source code

A Debugging Model for Functional Logic Programs (MH, BJ), pp. 28–43.

POPL-1993-Adl-TabatabaiG #debugging #interactive

Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging (ARAT, TRG), pp. 371–383.

ESEC-1993-Bourdoncle #abstract interpretation #debugging #imperative #source code

Assertion-based Debugging of Imperative Programs by Abstract Interpretation (FB), pp. 501–516.

ICSE-1993-MukherjeaS #algorithm #animation #comprehension #debugging

Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding (SM, JTS), pp. 456–465.

CAV-1993-HojatiBK #debugging #design #using

BDD-Based Debugging Of Design Using Language Containment and Fair CTL (RH, RKB, RPK), pp. 41–58.

PLDI-1992-BrooksHS #approach #debugging

A New Approach to Debugging Optimized Code (GB, GJH, SS), pp. 1–11.

PLDI-1992-HolzleCU #debugging

Debugging Optimized Code with Dynamic Deoptimization (UH, CC, DU), pp. 32–43.

PLILP-1992-NilssonF #algorithm #debugging #functional #lazy evaluation

Algorithmic Debugging for Lazy Functional Languages (HN, PF), pp. 385–399.

PLILP-1992-SaidiB #debugging #two-level grammar

Checking and Debugging of Two-level Grammars (SS, JFB), pp. 158–171.

KBSE-1991-AllemangC #debugging #functional #representation

Functional Representation and Program Debugging (DA, BC), pp. 136–143.

PLDI-1991-FritzsonGKS #algorithm #debugging #testing

Generalized Algorithmic Debugging and Testing (PF, TG, MK, NS), pp. 317–326.

PLILP-1991-Loyola #animation #debugging #execution #logic programming

Extending Execution Trees for Debugging and Animation in Logic Programming (DL), pp. 419–420.

PPoPP-1991-ChoiM #debugging

Race Frontier: Reproducing Data Races in Parallel-Program Debugging (JDC, SLM), pp. 145–154.

ISLP-1991-FeldmanS #animation #debugging #visual notation

Temporal Debugging and its Visual Animation (YF, EYS), pp. 3–17.

LFP-1990-TolmachA #debugging #ml #reverse engineering #standard

Debugging Standard ML Without Reverse Engineering (APT, AWA), pp. 1–12.

PLILP-1990-KamkarNF #algorithm #debugging #locality #slicing

Bug Localization by Algorithmic Debugging and Program Slicing (MK, NS, PF), pp. 60–74.

CC-1990-ShahmehriF #algorithm #debugging #imperative

Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract) (NS, PF), pp. 226–227.

PPoPP-1990-HseushK #concurrent #debugging #modelling #parallel

Modeling Concurrency in Parallel Debugging (WH, GEK), pp. 11–20.

DAC-1989-BolsensRCM #analysis #behaviour #debugging #logic

Electrical Debugging of Synchronous MOS VLSI Circuits Exploiting Analysis of the Intended Logic Behaviour (IB, WDR, LJMC, HDM), pp. 513–518.

DAC-1989-DervisogluK #debugging #named #state of the art #tool support

ATLAS/ELA: Scan-based Software Tools for Reducing System Debug Time in a State-of-the-art Workstation (BID, MAK), pp. 718–721.

ICSE-1989-OhbaC #debugging #question #reliability

Does Imperfect Debugging Affect Software Reliability Growth? (MO, XMC), pp. 237–244.

ASPLOS-1989-AralGS #debugging #multi #performance

Efficient Debugging Primitives for Multiprocessors (ZA, IG, GS), pp. 87–95.

TAV-1989-PodgurskiC #debugging #dependence #maintenance #testing

The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance (AP, LAC), pp. 168–178.

PLDI-1988-CoutantMR #approach #debugging #named

DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code (DSC, SM, MR), pp. 125–134.

PLDI-1988-MillerC #debugging #parallel #performance #source code

A Mechanism for Efficient Debugging of Parallel Programs (BPM, JDC), pp. 135–144.

PLDI-1988-Stone #case study #concurrent #debugging #process

Debugging Concurrent Processes: A Case Study (JMS), pp. 145–153.

ECOOP-1988-HondaY #concurrent #debugging

Debugging Concurrent Systems Based on Object Groups (YH, AY), pp. 267–282.

ICSE-1988-DucasseE #automation #bibliography #debugging

A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques (MD, AME), pp. 162–173.

JICSCP-1988-LichtensteinS88 #algorithm #debugging

Abstract Algorithmic Debugging (YL, EYS), pp. 512–531.

JICSCP-1988-PereiraC88 #debugging #framework #prolog

A Framework for Prolog Debugging (LMP, MC), pp. 481–495.

PLDI-1987-BahlkeMS #debugging #generative

A generator for language-specific debugging systems (RB, BM, GS), pp. 92–101.

PLDI-1987-ChaseH #debugging #source code

Selective interpretation as a technique for debugging computationally intensive programs (BBC, RTH), pp. 113–124.

PLDI-1987-SkedzielewskiYO #debugging #interactive #interpreter #named

DI: an interactive debugging interpreter for applicative languages (SKS, RKY, RRO), pp. 102–112.

HCI-CE-1987-Moser #comprehension #debugging #design #using #visual notation

Understanding Complex Software Systems Using GADD: A Tool for Graphical Animated Design and Debugging (MCM), pp. 449–456.

ASPLOS-1987-CargillL #debugging #hardware #profiling

Cheap Hardware Support for Software Debugging and Profiling (TAC, BNL), pp. 82–83.

SLP-1987-DershowitzL87 #debugging #deduction

Deductive Debugging (ND, YJL), pp. 298–306.

SLP-1987-Huntbach87 #algorithm #debugging

Algorithmic PARLOG Debugging (MMH), pp. 288–297.

ICLP-1986-Pereira86 #debugging #logic programming

Rational Debugging in Logic Programming (LMP), pp. 203–210.

LFP-1984-Lieberman #debugging #lisp #tool support #towards

Steps Toward Better Debugging Tools for Lisp (HL), pp. 247–255.

ICSE-1982-TakahashiAK #debugging #fortran #visual notation

Visual Aid for FORTRAN Program Debugging (KT, TA, MK), pp. 414–415.

ASPLOS-1982-Johnson #architecture #debugging #requirements

Some Requirements for Architectural Support of Software Debugging (MSJ), pp. 140–148.

DAC-1970-French #debugging #interactive #visual notation

An interactive graphical debugging system (LJF), pp. 271–273.

SOSP-1969-Kulsrud #debugging #interactive #named

HELPER: an interactive extensible debugging system (HEK), pp. 105–111.

SOSP-1967-Horn68 #debugging #design

Three criteria for designing computing systems to facilitate debugging (ECVH), pp. 360–365.

LISP-1963-Russell #debugging

Debugging aids (SR), p. 15.