54 papers:
SIGMOD-2015-DietrichG #database #debugging #sql- A SQL Debugger Built from Spare Parts: Turning a SQL: 1999 Database System into Its Own Debugger (BD, TG), pp. 865–870.
AdaEurope-2015-PavleticVRKK #debugging #framework- Extensible Debugger Framework for Extensible Languages (DP, MV, SAR, BK, TK), pp. 33–49.
TFPIE-2014-IshiiA #debugging- Report on a User Test and Extension of a Type Debugger for Novice Programmers (YI, KA), pp. 1–18.
TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code- EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
SLE-2014-ChisGN #debugging #framework- The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers (AC, TG, ON), pp. 102–121.
SCAM-2013-WangFGN #debugging #interactive- A state alteration and inspection-based interactive debugger (YW, MF, RG, IN), pp. 84–93.
ICSE-2013-NguyenCT #debugging #named #visual notation- GROPG: a graphical on-phone debugger (TAN, CC, NT), pp. 1189–1192.
ISMM-2013-WangNG #effectiveness #generative #memory management- Generating sound and effective memory debuggers (YW, IN, RG), pp. 51–62.
TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code- A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
DATE-2012-ChandrasekarMSH #debugging #design #industrial- A scan pattern debugger for partial scan industrial designs (KC, SKM, SS, MSH), pp. 558–561.
CSMR-2012-AlsallakhBGM #debugging #eclipse #java #visual notation- Visual Tracing for the Eclipse Java Debugger (BA, PB, AG, SM), pp. 545–548.
IFL-2012-TsushimaA #debugging #embedded- An Embedded Type Debugger (KT, KA), pp. 190–206.
- ICSE-2012-DeLineBRJR #debugging #experience #industrial #paradigm
- Debugger Canvas: Industrial experience with the code bubbles paradigm (RD, AB, KR, JJ, SPR), pp. 1064–1073.
FM-2011-MullerR #using #verification- Using Debuggers to Understand Failed Verification Attempts (PM, JNR), pp. 73–87.
SEFM-2011-GouesLM #debugging #verification- The Boogie Verification Debugger (Tool Paper) (CLG, KRML, MM), pp. 407–414.
CIKM-2011-SarmaJB #debugging #information management #pipes and filters- Building a generic debugger for information extraction pipelines (ADS, AJ, PB), pp. 2229–2232.
GPCE-2011-LindemanKV #domain-specific language- Declaratively defining domain-specific language debuggers (RTL, LCLK, EV), pp. 127–136.
LOPSTR-2011-CaballeroRVM #debugging #declarative #maude #proving- Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.
SAC-2011-BoixNCMD #debugging #message passing #named- REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (EGB, CN, TVC, WDM, TD), pp. 1275–1281.
ASE-2010-HahnleBBR #debugging #execution #interactive #symbolic computation #visual notation- A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.
- DATE-2010-ZengGA #debugging #embedded #framework #visual notation
- Graphical Model Debugger Framework for embedded systems (KZ, YG, CA), pp. 87–92.
ITiCSE-2010-Williams-KingAC #named- Enbug: when debuggers go bad (DWK, JA, DMNdC), pp. 28–32.
ICSM-2010-InsaS #algorithm #debugging #java- An algorithmic debugger for Java (DI, JS), pp. 1–6.
WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude- A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.
- SAC-2009-Al-SharifJ #debugging
- An extensible source-level debugger (ZAS, CJ), pp. 543–544.
ECMDA-FA-2008-SadilekW #domain-specific language #modelling #prototype #visual notation- Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages (DAS, GW), pp. 63–78.
ICPC-2007-StefikAPB #debugging #named #using- WAD: A Feasibility study using the Wicked Audio Debugger (AS, RTA, RP, JB), pp. 69–80.
WCRE-2007-RaberL #data mining #debugging #mining #using- Emulated Breakpoint Debugger and Data Mining Using Detours (JR, EL), pp. 271–272.
- ICSE-2007-AbrahamE #debugging #named #spreadsheet
- GoalDebug: A Spreadsheet Debugger for End Users (RA, ME), pp. 251–260.
VLDB-2006-AlexeCT #debugging #named- SPIDER: a Schema mapPIng DEbuggeR (BA, LC, WCT), pp. 1179–1182.
OOPSLA-2006-OgataOKKN #compilation- Replay compilation: improving debuggability of a just-in-time compiler (KO, TO, KK, HK, TN), pp. 241–252.
PADL-2006-MacLartyS #debugging #declarative- Controlling Search Space Materialization in a Practical Declarative Debugger (IM, ZS), pp. 31–44.
ICLP-2004-HanakSS #debugging #library #prolog- FDBG, the CLPFD Debugger Library of SICStus Prolog (DH, TS, PS), pp. 458–459.
- ICLP-2004-KundajiS #calculus #development #refinement #semantics
- Development of Semantic Debuggers Based on Refinement Calculus (RNK, RKS), pp. 460–461.
PPDP-2003-CameronBMM #debugging #named #visual notation- ViMer: a visual debugger for mercury (MC, MJGdlB, KM, PM), pp. 56–66.
- SIGMOD-2002-AbadiC #debugging #development #query #visual notation
- Visual COKO: a debugger for query optimizer development (DJA, MC), p. 617.
- SAC-2001-HobatrM #c++ #debugging #design #ocl
- The design of an OCL query-based debugger for C++ (CH, BAM), pp. 658–662.
SAS-2000-JaramilloGS #debugging #named- FULLDOC: A Full Reporting Debugger for Optimized Code (CJ, RG, MLS), pp. 240–259.
ISSTA-2000-SchulzM #debugging #interface #thread- A thread-aware debugger with an open interface (DS, FM), pp. 201–211.
TOOLS-ASIA-1999-WangZAC #debugging #distributed #java #parallel- A Parallel and Distributed Debugger Implemented with Java (FW, QZ, HA, GC), pp. 342–347.
- ICSE-1999-Ducasse #automation #c #debugging #named
- Coca: An automated Debugger for C (MD), pp. 504–513.
ESOP-1998-Ruggieri #debugging #declarative- A Complete Declarative Debugger of Missing Answers (SR), pp. 236–251.
- SAC-1997-JoKIPL #debugging #design #object-oriented #prototype
- A design and prototyping of an object-oriented program debugger (CHJ, PSK, HSI, EHP, BSL), pp. 45–51.
- ICSM-1996-McCrickardA #architecture #case study #impact analysis #visual notation
- Assessing the impact of changes at the architectural level: a case study on graphical debuggers (DSM, GDA), p. 59–?.
CC-1996-FritzonWHSS #array #bytecode #debugging #distributed #parallel #process- A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes (PF, RW, OH, JS, PS), pp. 341–355.
PLDI-1992-RamseyH #debugging- A Retargetable Debugger (NR, DRH), pp. 22–31.
- AdaEurope-1992-Stilberg #ada #validation
- Considerations with Regard to Validation of Ada Debuggers (SS), pp. 197–213.
- PLDI-1991-Bertot #debugging #specification
- Occurences in Debugger Specifications (YB), pp. 327–337.
- VDME-1991-1-KinnaesV #debugging #metalanguage
- A Debugger for a Meta-IV-like Meta-Language (DK, KDV), pp. 597–603.
- TOOLS-USA-1991-JamrozikRS #debugging #distributed #source code #visual notation
- A Graphical Debugger for O-O Distributed Programs (HJ, CR, MS), pp. 117–128.
- JICSCP-1988-Plummer88 #debugging #named #prolog
- Coda: An Extended Debugger for PROLOG (DP), pp. 496–511.
- ICSE-1985-FrancescoLV #concurrent #debugging #interactive
- An Interactive Debugger for a Concurrent Language (NDF, DL, GV), pp. 320–329.
Ada-1983-Persch #compilation- The Use of Diana in Compilers, Language Transformers, Formatters and Debuggers (GP), pp. 76–87.
ASPLOS-1982-McLearST #guidelines- Guidelines for Creating a Debuggable Processor (REM, DMS, ET), pp. 100–106.
