Search results for "Debugging"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Raya Elsaleh, Guy Katz	DelBugV: Delta-Debugging Neural Network Verifiers.	CoRR	2023	DBLP DOI BibTeX RDF
11	Yeong-Joon Ju, Ji-Hoon Park, Seong-Whan Lee	NeuroInspect: Interpretable Neuron-based Debugging Framework through Class-conditional Visualizations.	CoRR	2023	DBLP DOI BibTeX RDF
11	Zhijie Wang, Yuheng Huang, Da Song, Lei Ma 0003, Tianyi Zhang 0001	DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction.	CoRR	2023	DBLP DOI BibTeX RDF
11	Zachary Englhardt, Richard Li, Dilini Nissanka, Zhihan Zhang, Girish Narayanswamy, Joseph Breda, Xin Liu 0034, Shwetak N. Patel, Vikram Iyer	Exploring and Characterizing Large Language Models For Embedded System Development and Debugging.	CoRR	2023	DBLP DOI BibTeX RDF
11	Patrick Rodler	Don't Treat the Symptom, Find the Cause! Efficient Artificial-Intelligence Methods for (Interactive) Debugging.	CoRR	2023	DBLP DOI BibTeX RDF
11	Kun Liu, Tianyi Hao 0003, Swamit Tannu	Enabling High Performance Debugging for Variational Quantum Algorithms using Compressed Sensing.	CoRR	2023	DBLP DOI BibTeX RDF
11	Giovanni Cinà, Tabea E. Röber, Rob Goedhart, S. Ilker Birbil	Semantic match: Debugging feature attribution methods in XAI for healthcare.	CoRR	2023	DBLP DOI BibTeX RDF
11	Herve Mbikayi Kabamba, Matthew Khouzam, Michel R. Dagenais	Advanced Strategies for Precise and Transparent Debugging of Performance Issues in In-Memory Data Store-Based Microservices.	CoRR	2023	DBLP DOI BibTeX RDF
11	Pablo Valle, Aitor Arrieta, Maite Arratibel	Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper).	CoRR	2023	DBLP DOI BibTeX RDF
11	Qianou Ma, Hua Shen, Kenneth R. Koedinger, Tongshuang Wu	HypoCompass: Large-Language-Model-based Tutor for Hypothesis Construction in Debugging for Novices.	CoRR	2023	DBLP DOI BibTeX RDF
11	Erfan Al-Hossami, Razvan C. Bunescu, Justin Smith 0008, Ryan Teehan	Can Language Models Employ the Socratic Method? Experiments with Code Debugging.	CoRR	2023	DBLP DOI BibTeX RDF
11	Verya Monjezi, Ashutosh Trivedi 0001, Gang Tan, Saeid Tizpaz-Niari	Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
11	Andrew Taylor, Alexandra Vassar, Jake Renzella, Hammond Pearce	Integrating Large Language Models into the Debugging C Compiler for generating contextual error explanations.	CoRR	2023	DBLP DOI BibTeX RDF
11	Anirban Sarkar, Matthew Groth, Ian Mason, Tomotake Sasaki, Xavier Boix	Deephys: Deep Electrophysiology, Debugging Neural Networks under Distribution Shifts.	CoRR	2023	DBLP DOI BibTeX RDF
11	Adina Deiner, Gordon Fraser 0001	NuzzleBug: Debugging Block-Based Programs in Scratch.	CoRR	2023	DBLP DOI BibTeX RDF
11	Arshia Soltani Moakhar, Eugenia Iofinova, Dan Alistarh	SPADE: Sparsity-Guided Debugging for Deep Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
11	Naoto Sato, Ryota Katsube	Locating Buggy Segments in Quantum Program Debugging.	CoRR	2023	DBLP DOI BibTeX RDF
11	Shujun Wang, Yongqiang Tian 0002, Dengcheng He	Reduce API Debugging Overhead via Knowledge Prepositioning.	CoRR	2023	DBLP DOI BibTeX RDF
11	Waris Gill, Ali Anwar 0001, Muhammad Ali Gulzar	FedDebug: Systematic Debugging for Federated Learning Applications.	CoRR	2023	DBLP DOI BibTeX RDF
11	Maria Teresa Parreira, Sarah Gillet, Iolanda Leite	Robot Duck Debugging: Can Attentive Listening Improve Problem Solving?	CoRR	2023	DBLP DOI BibTeX RDF
11	Xu Han 0006, Michelle X. Zhou, Yichen Wang, Wenxi Chen, Tom Yeh	Democratizing Chatbot Debugging: A Computational Framework for Evaluating and Explaining Inappropriate Chatbot Responses.	CoRR	2023	DBLP DOI BibTeX RDF
11	Gavin Gray, Will Crichton	Debugging Trait Errors as Logic Programs.	CoRR	2023	DBLP DOI BibTeX RDF
11	Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer	Model Transformation Testing and Debugging: A Survey.	ACM Comput. Surv.	2023	DBLP DOI BibTeX RDF
11	Fernando A. Calderon-Vargas, Timothy Proctor, Kenneth Rudinger, Mohan Sarovar	Quantum circuit debugging and sensitivity analysis via local inversions.	Quantum	2023	DBLP DOI BibTeX RDF
11	Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand, Thomas Stifter	Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
11	Zhiqiang Zuo 0002, Xintao Niu, Siyi Zhang, Lu Fang 0003, Siau-Cheng Khoo, Shan Lu 0001, Chengnian Sun, Guoqing Harry Xu	Toward More Efficient Statistical Debugging with Abstraction Refinement.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
11	Jacqueline Whalley, Amber Settle, Andrew Luxton-Reilly	A Think-Aloud Study of Novice Debugging.	ACM Trans. Comput. Educ.	2023	DBLP DOI BibTeX RDF
11	Hsu Myat Win, Shin Hwei Tan, Yulei Sui	Event-aware precise dynamic slicing for automatic debugging of Android applications.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
11	Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, Jianjun Zhao 0001	Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
11	Yicong Huang 0002, Zuozhi Wang, Chen Li 0001	Udon: Efficient Debugging of User-Defined Functions in Big Data Systems with Line-by-Line Control.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
11	Julián Méndez 0001, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt	Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging.	Comput. Graph. Forum	2023	DBLP DOI BibTeX RDF
11	Zhenyu Ning, Chenxu Wang, Yinhua Chen, Fengwei Zhang, Jiannong Cao 0001	Revisiting ARM Debugging Features: Nailgun and its Defense.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
11	Hichem Debbi	Constraint-based debugging in probabilistic model checking.	Computing	2023	DBLP DOI BibTeX RDF
11	Raoni Lourenço, Juliana Freire, Eric Simon, Gabriel Weber, Dennis E. Shasha	Correction to: BugDoc Iterative debugging and explanation of pipeline executions.	VLDB J.	2023	DBLP DOI BibTeX RDF
11	Joon-Young Gwak, Priti Prabhakar Wakodikar, Meng Wang, Guanhua Yan, Xiaokui Shu, Scott D. Stoller, Ping Yang 0002	Debugging Malware Classification Models Based on Event Logs with Explainable AI.	ICDM (Workshops)	2023	DBLP DOI BibTeX RDF
11	Aaron Haim, Robert Gyurcsan, Chris Baxter, Stacy T. Shaw, Neil T. Heffernan	How to Open Science: Debugging Reproducibility within the Educational Data Mining Conference.	EDM	2023	DBLP BibTeX RDF
11	Martin Gruber, Gordon Fraser 0001	Debugging Flaky Tests using Spectrum-based Fault Localization.	AST	2023	DBLP DOI BibTeX RDF
11	Xiaohan Fu, John Pedraz, Anthony Rowe 0001, Rajesh Gupta 0001	Debugging Buildings with Mixed Reality.	BuildSys@SenSys	2023	DBLP DOI BibTeX RDF
11	Giovanni Cinà, Tabea E. Röber, Rob Goedhart, S. Ilker Birbil	Semantic match: Debugging feature attribution methods in XAI for healthcare.	CHIL	2023	DBLP BibTeX RDF
11	Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Luka Le Roux, Loïc Lagadec	Temporal Breakpoints for Multiverse Debugging.	SLE	2023	DBLP DOI BibTeX RDF
11	Mats Van Molle, Bram Vandenbogaerde, Coen De Roover	Cross-Level Debugging for Static Analysers.	SLE	2023	DBLP DOI BibTeX RDF
11	Francisco Ribeiro, José Nuno Castro de Macedo, Kanae Tsushima, Rui Abreu 0001, João Saraiva	GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair.	SLE	2023	DBLP DOI BibTeX RDF
11	Margherita Andrao	End-User Programming for Smart Educational Devices: Exploring the Role of Linguistic Aspects, Mental Models, and Reasoning Strategies in Trigger-Action Rules Composition and Debugging.	IS-EUD Workshops	2023	DBLP BibTeX RDF
11	Sascha Schmalhofer, Marwin Möller, Nikoletta Katsaouni, Marcel H. Schulz, Lars Hedrich	Debugging Low Power Analog Neural Networks for Edge Computing.	DATE	2023	DBLP DOI BibTeX RDF
11	Laurie Gale, Sue Sentance	Investigating the Attitudes and Emotions of K-12 Students Towards Debugging.	UKICER	2023	DBLP DOI BibTeX RDF
11	Laurie Gale	Improving the Teaching and Learning of Debugging in Secondary Schools.	UKICER	2023	DBLP DOI BibTeX RDF
11	Adhokshaj Mishra, Manjesh K. Hanawal	Thwarting Piracy: Anti-debugging Using GPU-assisted Self-healing Codes.	COMSNETS	2023	DBLP DOI BibTeX RDF
11	Shujun Wang, Yongqiang Tian 0002, Dengcheng He	Reduce API Debugging Overhead via Knowledge Prepositioning.	WWW (Companion Volume)	2023	DBLP DOI BibTeX RDF
11	Xinlei Yang, Wei Liu, Hao Lin 0005, Zhenhua Li 0001, Feng Qian 0001, Xianlong Wang, Yunhao Liu 0001, Tianyin Xu	Visual-Aware Testing and Debugging for Web Performance Optimization.	WWW	2023	DBLP DOI BibTeX RDF
11	Elisa Gonzalez Boix, Christophe Scholliers (eds.)	Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, DEBT 2023, Seattle, WA, USA, 17 July 2023	DEBT@SIGMOD	2023	DBLP DOI BibTeX RDF
11	Steven P. Reiss, Xuan Wei, Qi Xin	Quick Repair of Semantic Errors for Debugging.	APR@ICSE	2023	DBLP DOI BibTeX RDF
11	Thomas Santen	Debugging Frame Conditions.	Applicable Formal Methods for Safe Industrial Products	2023	DBLP DOI BibTeX RDF
11	Germán Vidal	Reversible Debugging in Logic Programming.	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023	DBLP DOI BibTeX RDF
11	Chun-Yeh Wang, Chien-Hsing Liang, Jing-Jia Liou, Harry H. Chen	Signal Reduction of Signature Blocks for Transient Fault Debugging.	ATS	2023	DBLP DOI BibTeX RDF
11	Xu Han 0006, Michelle X. Zhou, Yichen Wang, Wenxi Chen, Tom Yeh	Democratizing Chatbot Debugging: A Computational Framework for Evaluating and Explaining Inappropriate Chatbot Responses.	CUI	2023	DBLP DOI BibTeX RDF
11	Maria Teresa Parreira, Sarah Gillet, Iolanda Leite	Robot Duck Debugging: Can Attentive Listening Improve Problem Solving?	ICMI	2023	DBLP DOI BibTeX RDF
11	Wentao Qiao, Jun Wu, Haoqi Ren, Zhifeng Zhang, Bin Tan	An Efficient DSP Simulator Design Supporting Multi-Core Debugging.	ICCT	2023	DBLP DOI BibTeX RDF
11	Sehej Kumar, Shreyas Kotla	AudioQ: A Debugging Extension for Visually Impaired Developers.	ASSETS	2023	DBLP DOI BibTeX RDF
11	Michael Schneider	Designing scaffolds to support students in debugging e-textiles.	IDC	2023	DBLP DOI BibTeX RDF
11	Shuichiro Shimatani, Hiroki Kashiwazaki, Nobukazu Iguchi	SRv6 Network Debugging Support System Assigning Identifiers to SRH.	COMPSAC	2023	DBLP DOI BibTeX RDF
11	Guancheng Wang 0001, Yiqian Wu, Qihao Zhu, Yingfei Xiong 0001, Xin Zhang, Lu Zhang 0023	A Probabilistic Delta Debugging Approach for Abstract Syntax Trees.	ISSRE	2023	DBLP DOI BibTeX RDF
11	Jiwon Lee, Ayaan M. Kazerouni, Christopher Siu, Theresa Migler	Exploring the Impact of Cognitive Awareness Scaffolding for Debugging in an Introductory Programming Class.	SIGCSE (1)	2023	DBLP DOI BibTeX RDF
11	Yerika A. Jimenez, Christina Gardner-McCune	An Exploration of Elementary Students Debugging Behaviors in Scratch.	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
11	Nigel C. M. Newby, Claire Zhang, Jacob Chidawaya, Madelyn E. Dempsey	Enhancing Feedback Messages for Debugging Runtime Errors in an Introductory Java Programming Course.	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
11	Andrew Taylor, Jake Renzella, Alexandra Vassar	Foundations First: Improving C's Viability in Introductory Programming Courses with the Debugging C Compiler.	SIGCSE (1)	2023	DBLP DOI BibTeX RDF
11	Qian Li 0027, Peter Kraft, Michael J. Cafarella, Çagatay Demiralp, Goetz Graefe, Christos Kozyrakis, Michael Stonebraker, Lalith Suresh, Matei Zaharia	Transactions Make Debugging Easy.	CIDR	2023	DBLP BibTeX RDF
11	Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller	Semantic Debugging.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
11	Yibiao Yang, Maolin Sun, Yang Wang, Qingyang Li, Ming Wen 0001, Yuming Zhou	Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
11	Xianglin Yang, Yun Lin 0001, Yifan Zhang, Linpeng Huang, Jin Song Dong, Hong Mei 0001	DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
11	Ken Gu, Eunice Jun, Tim Althoff	Understanding and Supporting Debugging Workflows in Multiverse Analysis.	CHI	2023	DBLP DOI BibTeX RDF
11	Zhijie Wang, Yuheng Huang, Da Song, Lei Ma 0003, Tianyi Zhang 0001	DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction.	CHI	2023	DBLP DOI BibTeX RDF
11	Tom Lauwaerts, Carlos Rojas Castillo, Elisa Gonzalez Boix, Christophe Scholliers	Demo: Debugging Constraint Devices with EDWARD.	MobiSys	2023	DBLP DOI BibTeX RDF
11	Anmolpreet Singh, Aayush Sharma, Meetesh Kalpesh Mehta, Manas Thakur	Debugging Dynamic Language Features in a Multi-tier Virtual Machine.	VMIL@SPLASH	2023	DBLP DOI BibTeX RDF
11	Christoph Thiede, Marcel Taeumel, Robert Hirschfeld	Object-Centric Time-Travel Debugging: Exploring Traces of Objects.	Programming	2023	DBLP DOI BibTeX RDF
11	Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin	Debugging approach for IEC 61499 control applications in FBME.	ISIE	2023	DBLP DOI BibTeX RDF
11	Tobias Paxian, Armin Biere	Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging.	POS@SAT	2023	DBLP BibTeX RDF
11	Jiteshri Dasari, Maciej J. Ciesielski	Efficient Formal Verification and Debugging of Arithmetic Divider Circuits.	ICCAD	2023	DBLP DOI BibTeX RDF
11	Juan D. Pinto, Qianhui Liu, Luc Paquette, Yingbin Zhang, Aysa Xuemo Fan	Investigating the Relationship Between Programming Experience and Debugging Behaviors in an Introductory Computer Science Course.	ICQE	2023	DBLP DOI BibTeX RDF
11	Weimin Fu, Kaichen Yang, Raj Gautam Dutta, Xiaolong Guo, Gang Qu	LLM4SecHW: Leveraging Domain-Specific Large Language Model for Hardware Debugging.	AsianHOST	2023	DBLP DOI BibTeX RDF
11	Laurie Gale	Towards an Aid for Teaching Effective Debugging to Lower Secondary Students (Doctoral Consortium).	Koli Calling	2023	DBLP DOI BibTeX RDF
11	Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei	ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools.	ISSTA	2023	DBLP DOI BibTeX RDF
11	Pablo Valle, Aitor Arrieta, Maite Arratibel	Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper).	ISSTA	2023	DBLP DOI BibTeX RDF
11	Sungmin Kang, Wonkeun Choi, Shin Yoo	A Bayesian Framework for Automated Debugging.	ISSTA	2023	DBLP DOI BibTeX RDF
11	Xiang (Jenny) Ren, Sitao Wang, Zhuqi Jin, David Lion, Adrian Chiu, Tianyin Xu, Ding Yuan 0004	Relational Debugging - Pinpointing Root Causes of Performance Problems.	OSDI	2023	DBLP BibTeX RDF
11	Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun 0001, Loïc Lagadec	Debugging Paxos in the UML Multiverse.	MoDELS (Companion)	2023	DBLP DOI BibTeX RDF
11	Abdulaziz Alaboudi, Thomas D. LaToza	Hypothesizer: A Hypothesis-Based Debugger to Find and Test Debugging Hypotheses.	UIST	2023	DBLP DOI BibTeX RDF
11	Heike Hennig, Tilman Michaeli	Entwicklung eines Prozessmodells für Diagnose- und Intervention von Lehrkräften beim Debugging.	INFOS	2023	DBLP DOI BibTeX RDF
11	Adel Belkhiri, Ahmad Shahnejat Bushehri, Felipe Gohring de Magalhaes, Gabriela Nicolescu	Transparent Trace Annotation for Performance Debugging in Microservice-oriented Systems (Work In Progress Paper).	ICPE (Companion)	2023	DBLP DOI BibTeX RDF
11	Christoph Thiede, Marcel Taeumel, Robert Hirschfeld	Time-Awareness in Object Exploration Tools: Toward In Situ Omniscient Debugging.	Onward!	2023	DBLP DOI BibTeX RDF
11	Zhenlan Ji, Pingchuan Ma 0004, Shuai Wang 0011	Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis.	ASE	2023	DBLP DOI BibTeX RDF
11	Shinobu Saito	Coding and Debugging by Separating Secret Code Toward Secure Remote Development.	ASE	2023	DBLP DOI BibTeX RDF
11	Robert Underwood, Bogdan Nicolae	MPIGDB: A Flexible Debugging Infrastructure for MPI Programs.	FlexScience@HPDC	2023	DBLP DOI BibTeX RDF
11	Raya Elsaleh, Guy Katz	DelBugV: Delta-Debugging Neural Network Verifiers.	FMCAD	2023	DBLP DOI BibTeX RDF
11	Verya Monjezi, Ashutosh Trivedi 0001, Gang Tan, Saeid Tizpaz-Niari	Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks.	ICSE	2023	DBLP DOI BibTeX RDF
11	Waris Gill, Ali Anwar 0001, Muhammad Ali Gulzar	FedDebug: Systematic Debugging for Federated Learning Applications.	ICSE	2023	DBLP DOI BibTeX RDF
11	Wajdi Aljedaani, Mohamed Wiem Mkaouer, Anthony Peruma, Stephanie Ludi	Do the Test Smells Assertion Roulette and Eager Test Impact Students' Troubleshooting and Debugging Capabilities?	SEET@ICSE	2023	DBLP DOI BibTeX RDF
11	Jan Reichl, Stefan Hanenberg, Volker Gruhn	Does the Stream API Benefit from Special Debugging Facilities? A Controlled Experiment on Loops and Streams with Specific Debuggers.	ICSE	2023	DBLP DOI BibTeX RDF
11	Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi 0001	Metamorphic Testing and Debugging of Tax Preparation Software.	ICSE (SEIS)	2023	DBLP DOI BibTeX RDF
11	Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei	ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis.	ICSE	2023	DBLP DOI BibTeX RDF
11	Ying Li 0029, Patrick Lambrix	Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF