debugging - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

Test-case reduction for C compiler bugsJohn Regehr, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun. SIGPLAN, 47(6):335-346, jun 2012. [doi]

2011

Simultaneous debugging of software faultsRui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund. jss, 84(4):573-586, 2011. [doi]

Debugging and optimizing high performance superscalar out-of-order processors using formal verification techniquesBijan Alizadeh, Masahiro Fujita. isqed 2011: 297-302 [doi]

Iterative delta debuggingCyrille Artho. STTT, 13(3):223-246, 2011. [doi]

Expert and Novice End-User Spreadsheet Debugging: A Comparative Study of Performance and BehaviourBrian Bishop, Kevin McDaid. joeuc, 23(2):57-80, 2011. [doi]

REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applicationsElisa Gonzalez Boix, Carlos Noguera, Tom Van Cutsem, Wolfgang De Meuter, Theo D Hondt. SAC 2011: 1275-1281 [doi]

BurstProbe: Debugging Time-Critical Data Delivery in Wireless Sensor NetworksJames Brown, Ben McCarthy, Utz Roedig, Thiemo Voigt, Cormac J. Sreenan. ewsn 2011: 195-210 [doi]

::::kb::::-anonymity: a model for anonymized behaviour-preserving test and debugging dataAditya Budi, David Lo, Lingxiao Jiang, Lucia. PLDI 2011: 447-457 [doi]

Angelic debuggingSatish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík. ICSE 2011: 121-130 [doi]

Low Coverage Analysis using dynamic un-testability debug in ATPGKameshwar Chandrasekar, Surendra Bommu, Sanjay Sengupta. vts 2011: 291-296 [doi]

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program DebuggingOmar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. tap 2011: 78-83 [doi]

Semi-Proving: An Integrated Method for Program Proving, Testing, and DebuggingTsong Yueh Chen, T. H. Tse, Zhiquan Zhou. TSE, 37(1):109-125, 2011. [doi]

Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systemsYung-Chang Chiu, Ce-Kuen Shieh, Tzu-Chi Huang, Tyng-Yeu Liang, Kuo-Chih Chu. pc, 37(1):11-25, 2011. [doi]

Facilitating unreachable code diagnosis and debuggingHong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo. aspdac 2011: 485-490 [doi]

Striking a new balance between program instrumentation and debugging timeOlivier Crameri, Ricardo Bianchini, Willy Zwaenepoel. eurosys 2011: 199-214 [doi]

On Using Lossy Compression for Repeatable Experiments during Silicon DebugEhab Anis Daoud, Nicola Nicolici. TC, 60(7):937-950, 2011. [doi]

Embedded Debug Architecture for Bypassing Blocking Bugs During Post-Silicon ValidationEhab Anis Daoud, Nicola Nicolici. tvlsi, 19(4):559-570, 2011. [doi]

An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative ProgramsRafael del Vado Vírseda, Fernando Pérez Morente. procedia, 4:1907-1916, 2011. [doi]

An innovative teaching tool based on semantic tableaux for verification and debugging of programsRafael del Vado Vírseda, Fernando Pérez Morente. iticse 2011: 352 [doi]

A Logic Teaching Tool Based on Tableaux for Verification and Debugging of AlgorithmsRafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero. ticttl 2011: 239-248 [doi]

Assertion Based Parallel DebuggingMinh Ngoc Dinh, David Abramson, Donny Kurniawan, Chao Jin, Bob Moench, Luiz De Rose. ccgrid 2011: 63-72 [doi]

An embedded 1149.4 extension to support mixed-signal debuggingManuel C. Felgueiras, Gustavo R. Alves, Jose M. Martins Ferreira. mj, 42(1):218-232, 2011. [doi]

Real-time fault injection using enhanced on-chip debug infrastructuresAndré V. Fidalgo, Manuel G. Gericota, Gustavo R. Alves, José M. Ferreira. mam, 35(4):441-452, 2011. [doi]

Utilizing high level design information to speed up post-silicon debuggingMasahiro Fujita. aspdac 2011: 301-305 [doi]

True language-level SQL debuggingTorsten Grust, Fabian Kliebhan, Jan Rittinger, Tom Schreiber. edbt 2011: 562-565 [doi]

BQL: capturing and reusing debugging knowledgeZhongxian Gu, Earl T. Barr, Zhendong Su. ICSE 2011: 1001-1003 [doi]

Multi-purpose passive debugging for embedded wirelessMorten Tranberg Hansen. ipsn 2011: 155-156 [doi]

Demo abstract: Debugging wireless sensor network simulations with YETI and COOJARichard Huber, Philipp Sommer, Roger Wattenhofer. ipsn 2011: 141-142 [doi]

On evaluating signal selection algorithms for post-silicon debugEddie Hung, Steven J. E. Wilton. isqed 2011: 290-296 [doi]

A Unified Approach for Developing Software Reliability Growth Models in the Presence of Imperfect Debugging and Error GenerationP. K. Kapur, Hoang Pham, Sameer Anand, Kalpana Yadav. tr, 60(1):331-340, 2011. [doi]

Managing complexity in design debugging with sequential abstraction and refinementBrian Keng, Andreas G. Veneris. aspdac 2011: 479-484 [doi]

Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging EffortsDongsun Kim, Xinming Wang, Sunghun Kim, Andreas Zeller, Shing-Chi Cheung, Sooyong Park. TSE, 37(3):430-447, 2011. [doi]

Debugging in the (very) large: ten years of implementation and experienceKinshuman Kinshumann, Kirk Glerum, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt. CACM, 54(7):111-116, 2011. [doi]

Design-for-Debug Architecture for Distributed Embedded Logic AnalysisHo Fai Ko, Adam B. Kinsman, Nicola Nicolici. tvlsi, 19(8):1380-1393, 2011. [doi]

A Low-Cost Emulation System for Fast Co-verification and DebugJorge Luis Lagos-Benites, Michelangelo Grosso, Luca Sterpone, Matteo Sonza Reorda, G. Audisio, M. Pipponzi, Marco Sabatini. ets 2011: 212 [doi]

Debugging CUDAWilliam B. Langdon. gecco 2011: 415-422 [doi]

On-chip dynamic signal sequence slicing for efficient post-silicon debuggingYeonbok Lee, Takeshi Matsumoto, Masahiro Fujita. aspdac 2011: 719-724 [doi]

An Automatic Method of Mapping I/O Sequences of Chip Execution onto High-level Design for Post-Silicon DebuggingYeonbok Lee, Takeshi Matsumoto, Masahiro Fujita. ieicet, 94-A(7):1519-1529, 2011. [doi]

SPAD: software protection through anti-debugging using hardware virtualizationQian Lin, Mingyuan Xia, Miao Yu, Peijie Yu, Min Zhu, Shang Gao, Zhengwei Qi, Kai Chen 0006, Haibing Guan. SAC 2011: 623-624 [doi]

Declaratively Defining Domain-Specific Language DebuggersRicky T. Lindeman, Lennart C. L. Kats, Eelco Visser. GPCE 2011: 127-136 [doi]

Automatic performance debugging of SPMD-style parallel programsXu Liu, Jianfeng Zhan, Kunlin Zhan, Weisong Shi, Lin Yuan, Dan Meng, Lei Wang. jpdc, 71(7):925-937, 2011. [doi]

Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011João Lourenço, Eitan Farchi, editors, ACM, 2011.

Java replay for dependence-based debuggingJan Lönnberg, Mordechai Ben-Ari, Lauri Malmi. ISSTA 2011: 15-25 [doi]

Debugging the data plane with anteaterHaohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Samuel Talmadge King. sigcomm 2011: 290-301 [doi]

Constraint-Based Program Debugging Using Data Structure RepairMuhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid. icst 2011: 190-199 [doi]

Debugging in domain-specific modellingMannadiar, Raphael, Vangheluwe, Hans. In Proceedings of the Third international conference on Software language engineering. 2011: 276-285

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic ProgramsEdison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo. padl 2011: 38-53 [doi]

Real-time address trace compression for emulated and real system-on-chip processor core debuggingBojan Mihajlovic, Zeljko Zilic. glvlsi 2011: 331-336 [doi]

Using Debuggers to Understand Failed Verification AttemptsPeter Müller, Joseph N. Ruskiewicz. fm 2011: 73-87 [doi]

Software debugging and testing using the abstract diagnosis theorySamaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister. lctrts 2011: 111-120 [doi]

LIME: a framework for debugging load imbalance in multi-threaded executionJungju Oh, Christopher J. Hughes, Guru Venkataramani, Milos Prvulovic. ICSE 2011: 201-210 [doi]

Inspector gadget: a framework for custom monitoring and debugging of distributed dataflowsChristopher Olston, Benjamin Reed. sigmod 2011: 1221-1224 [doi]

Compressing Cache State for Postsilicon Processor DebugPreeti Ranjan Panda, M. Balakrishnan, Anant Vishnoi. TC, 60(4):484-497, 2011. [doi]

Are automated debugging techniques actually helping programmers?Chris Parnin, Alessandro Orso. ISSTA 2011: 199-209 [doi]

Fault Injection in Modern Microprocessors Using On-Chip Debugging InfrastructuresMarta Portela-García, Celia López-Ongil, Mario García-Valderas, Luis Entrena. tdsc, 8(2):308-314, 2011. [doi]

Summarized Trace Indexing and Querying for Scalable Back-in-Time DebuggingGuillaume Pothier, Éric Tanter. ECOOP 2011: 558-582 [doi]

A Framework for Testing Concurrent ProgramsMathias Ricken. PhD thesis, Rice University, April 2011.

A survey on algorithmic debugging strategiesJosep Silva. aes, 42(11):976-991, 2011. [doi]

Exploiting hardware advances for software testing and debugging: NIER trackMary Lou Soffa, Kristen R. Walcott, Jason Mars. ICSE 2011: 888-891 [doi]

Record and transplay: partial checkpointing for replay debugging across heterogeneous systemsDinesh Subhraveti, Jason Nieh. sigmetrics 2011: 109-120 [doi]

From RTL to silicon: The case for automated debugAndreas G. Veneris, Brian Keng, Sean Safarpour. aspdac 2011: 306-310 [doi]

Interactive Debug of SoCs with Multiple ClocksBart Vermeulen, Kees Goossens. dt, 28(3):44-51, 2011. [doi]

Dependence-based multi-level tracing and replay for wireless sensor networks debuggingMan Wang, Zhiyuan Li, Feng Li, Xiaobing Feng, Saurabh Bagchi, Yung-Hsiang Lu. lctrts 2011: 91-100 [doi]

Debugging reversible circuitsRobert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler. integration, 44(1):51-61, 2011. [doi]

2010

Heapviz: interactive heap visualization for program understanding and debuggingEdward Aftandilian, Sean Kelley, Connor Gramazio, Nathan Ricci, Sara L. Su, Samuel Z. Guyer. softvis 2010: 53-62 [doi]

A debugging method for repairing post-silicon bugs of high performance processors in the fieldsBijan Alizadeh, Masahiro Fujita. fpt 2010: 328-331 [doi]

NIFD: Non-intrusive FPGA Debugger -- Debugging FPGA Threads for Rapid HW/SW Systems PrototypingHari Angepat, Gage Eads, Christopher Craik, Derek Chiou. fpl 2010: 356-359 [doi]

Extending DMM Behavior Specifications for Visual Execution and DebuggingNils Bandener, Christian Soltenborn, Gregor Engels. SLE 2010: 357-376 [doi]

Golden implementation driven software debuggingAnsuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang. FSE 2010: 177-186 [doi]

Debugging with Evaluation AbstractionsChristopher Bogart. vl 2010: 251-252 [doi]

Diagnostics for Debugging Speech Recognition SystemsMilos Cernak. TSD 2010: 251-258 [doi]

Improved usability and performance of SMT solvers for debugging specificationsDavid R. Cok. STTT, 12(6):467-481, 2010. [doi]

Debugging hygienic macrosRyan Culpepper, Matthias Felleisen. SCP, 75(7):496-515, 2010. [doi]

CRI: Symbolic Debugger for MCAPI ApplicationsMohamed Elwakil, Zijiang Yang, Liqiang Wang. ATVA 2010: 353-358 [doi]

Debugging From the Student PerspectiveSue Fitzgerald, Renée McCauley, Brian Hanks, Laurie Murphy, Beth Simon, Carol Zander. te, 53(3):390-396, 2010. [doi]

Innovative practices session 5C: Post-silicon debugSmriti Gupta. vts 2010: 171 [doi]

Better Debugging via Output Tracing and Callstack-Sensitive SlicingSusan Horwitz, Ben Liblit, Marina Polishchuk. TSE, 36(1):7-19, 2010. [doi]

Checkpoint/Restart-Enabled Parallel DebuggingJoshua Hursey, Chris January, Mark O Connor, Paul Hargrove, David Lecomber, Jeffrey M. Squyres, Andrew Lumsdaine. pvm 2010: 219-228 [doi]

Explanatory Debugging: Supporting End-User Debugging of Machine-Learned ProgramsTodd Kulesza, Simone Stumpf, Margaret M. Burnett, Weng-Keen Wong, Yann Riche, Travis Moore, Ian Oberst, Amber Shinsel, Kevin McIntosh. vl 2010: 41-48 [doi]

Toward End-User Debugging of Machine-Learned ClassifiersTodd Kulesza. vl 2010: 253-254 [doi]

Using Visualization to Debug Visualization SoftwareRobert S. Laramee. cga, 30(6):67-73, 2010. [doi]

Debugging standard document formatsNabil Layaïda, Pierre Genevès. WWW 2010: 1269-1272 [doi]

Panel 6.8: The challenges of heterogeneous multicore debugGrant Martin, Albrecht Mayer. date 2010: 789 [doi]

Utilizing Debug Information to Compact Loops in Large Program TracesDel Myers, Margaret-Anne D. Storey, Martin Salois. CSMR 2010: 41-50 [doi]

Enabling efficient post-silicon debug by clustering of hardware-assertionsMohammad Hossein Neishaburi, Zeljko Zilic. date 2010: 985-988 [doi]

Catching the Ouroboros: On debugging non-ground answer-set programsJohannes Oetsch, Jörg Pührer, Hans Tompits. tplp, 10(4-6):513-529, 2010. [doi]

PerViz: Painkillers for pervasive application debuggingHubert Pham, Justin Mazzola Paluska. percom 2010: 208-216 [doi]

Enhanced Debugging with TracesPeter Phillips. queue, 8(3):40, 2010. [doi]

Enhanced debugging with tracesPeter Phillips. CACM, 53(5):50-53, 2010. [doi]

User level DB: a debugging API for user-level thread librariesKevin Pouget, Marc Pérache, Patrick Carribault, Hervé Jourdren. ipps 2010: 1-7 [doi]

The GZoltar Project: A Graphical Debugger InterfaceAndré Riboira, Rui Abreu. taicpart 2010: 215-218 [doi]

Enhancing the Debugging of Maude SpecificationsAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet. wrla 2010: 226-242 [doi]

Debugging at the Electronic System LevelFrank Rogin, Rolf Drechsler. Springer, 2010. [doi]

Managing verification error traces with bounded model debuggingSean Safarpour, Andreas G. Veneris, Farid N. Najm. aspdac 2010: 601-606 [doi]

Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection SlicingUte Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer. edcc 2010: 13-22 [doi]

Debugging complex software systems by means of pathfinder networksEmilio Serrano, Arnaud Quirin, Juan A. Botía, Oscar Cordón. isci, 180(5):561-583, 2010. [doi]

Measuring reliability growth of software by considering fault dependency, debugging time Lag functions and irregular fluctuationV. B. Singh, P. K. Kapur, Abhishek Tandon. sigsoft, 35(3):1-11, 2010. [doi]

A method for debugging of pipelined processors in formal verification by correspondence checkingMiroslav N. Velev, Ping Gao 0002. aspdac 2010: 619-624 [doi]

Execution synthesis: a technique for automated software debuggingCristian Zamfir, George Candea. eurosys 2010: 321-334 [doi]

Graphical Model Debugger Framework for embedded systemsKebin Zeng, Yu Guo, Christo Angelov. date 2010: 87-92 [doi]

PreviousNext