QisMC: A Model Checker for QISKIT Program Debugging

Authors: Dai, Aochu, Ying, Mingsheng

Subject Terms: Logic in Computer Science, Quantum Physics

Access URL: https://arxiv.org/abs/2608.24320

Using the Deep Learning-Based Approaches for Program Debugging and Repair

Authors: Lin, Tzu-Yang, Huang, Chin-Yu, Fang, Chih-Chiang

Source: 2023 10th International Conference on Dependable Systems and Their Applications (DSA) DSA Dependable Systems and Their Applications (DSA), 2023 10th International Conference on. :443-454 Aug, 2023

Relation: 2023 10th International Conference on Dependable Systems and Their Applications (DSA)

Locating Buggy Segments in Quantum Program Debugging

Authors: Sato, Naoto, Katsube, Ryota

Source: 2024 IEEE/ACM 46th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) ICSE-NIER Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2024 IEEE/ACM 46th International Conference on. :26-31 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)

CoReX: Context-Aware Refinement-Based Slicing for Debugging Regression Failures

Authors: Badihi, Sahar, Rubin, Julia

Source: Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering. :3182-3194

Availability: http://dl.acm.org/doi/10.1145/3744916.3764577

Localizer: A Visual Debugging Assistant for Python Programs

Authors: Khan, Shehroz, Sudheerbabu, Gaadha, Truscan, Dragos, Ahmad, Tanwir

Source: Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques. :34-35

Availability: http://dl.acm.org/doi/10.1145/3678720.3685321

Understanding Debugging as Episodes: A Case Study on Performance Bugs in Configurable Software Systems

Authors: Weber, Max, Mailach, Alina, Apel, Sven, Siegmund, Janet, Dachselt, Raimund, Siegmund, Norbert

Source: Proceedings of the ACM on Software Engineering. 2(FSE):1409-1431

Availability: http://dl.acm.org/doi/10.1145/3717523

Exploiting Quantum Assertions for Error Mitigation and Quantum Program Debugging

Authors: Li, Peiyi, Liu, Ji, Li, Yangjia, Zhou, Huiyang

Source: 2022 IEEE 40th International Conference on Computer Design (ICCD) ICCD Computer Design (ICCD), 2022 IEEE 40th International Conference on. :124-131 Oct, 2022

Relation: 2022 IEEE 40th International Conference on Computer Design (ICCD)

Automation of Debugging Parallel Programs in the DVM System

Authors: Bakhtin, V. A.^{Aff1, IDS2070048224700881_cor1}

Source: Mathematical Models and Computer Simulations. 16(Suppl 2):S171-S180

TraceWalker: Synthesizing Interactive Debugging Progresses via Dataflow and Control-flow Inference

Authors: Pei, Yunrui, Wong, Yuk Kwan, Zhang, Chenyang, Wang, Hongshu, Zhang, Wenjie, Lin, Yun

Source: 2025 32nd Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2025 32nd Asia-Pacific. :419-430 Dec, 2025

Relation: 2025 32nd Asia-Pacific Software Engineering Conference (APSEC)

Visualizing the Evaluation of Functional Programs for Debugging

Authors: Whitington, John, Ridge, Tom

Subject Terms: Computer Science - Programming Languages, D.2.5

Access URL: http://arxiv.org/abs/2411.00618

An evaluative case study of the program debugging behaviour of the paired software development technician apprentice in a geographically distributed environment

Authors: Jolugbo, Olajide

Contributors: Passey, Don

Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/903706

Boosting Redundancy-Based Automated Program Repair by Fine-Grained Pattern Mining

Authors: Jiang, Jiajun, Li, Fengjie, Zhao, Zijie, Ye, Zhirui, Liu, Mengjiao, Wang, Bo, Zhang, Hongyu, Chen, Junjie

Source: 2025 IEEE International Conference on Software Maintenance and Evolution (ICSME) ICSME Software Maintenance and Evolution (ICSME), 2025 IEEE International Conference on. :85-97 Sep, 2025

Relation: 2025 IEEE International Conference on Software Maintenance and Evolution (ICSME)

Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs

Authors: Zhao, Pengzhan ¹, Miao, Zhongtao ², Lan, Shuhan ³, Zhao, Jianjun ^⁎

Source: In The Journal of Systems & Software November 2023 205

Hints Help Finding and Fixing Bugs Differently in Python and Text-Based Program Representations

Authors: Rawal, Ruchit, Padurean, Victor-Alexandru, Apel, Sven, Singla, Adish, Toneva, Mariya

Source: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2025 IEEE/ACM 47th International Conference on. :1230-1242 Apr, 2025

Relation: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)

Using Program Analysis and Testing to Facilitate Debugging and Optimization of Scientific Applications

Authors: Miao, Dolores

Subject Terms: Computer science, Computer engineering, Information science, compilers, floating-point arithmetic, GPU computing, high-performance computing, program analysis

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/3fv9z1ns
https://escholarship.org/content/qt3fv9z1ns/qt3fv9z1ns.pdf

Visualization Method for Data Structure Evolution in Program Debugging

Authors: SU Qing, CHEN Jiancheng, GU Guosheng, LIU Dongning, HUANG Jianfeng

Source: Jisuanji gongcheng, Vol 50, Iss 9, Pp 197-207 (2024)

Subject Terms: program debugging, data structure visualization, component evolution behavior, finite state machine, data structure evolution model, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/20240920.pdf; https://doaj.org/toc/1000-3428

Access URL: https://doaj.org/article/5bdfcb7c144c43f9a1c12e67bfe733e6

Locating Buggy Segments in Quantum Program Debugging

Authors: Sato, Naoto, Katsube, Ryota

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2309.04266

A Flipped Systematic Debugging Approach to Enhance Elementary Students' Program Debugging Performance and Optimize Cognitive Load

Authors: Gao, Xuemin (ORCID 0000-0001-8615-8770), Hew, Khe Foon (ORCID 0000-0003-4149-533X)

Source: Journal of Educational Computing Research. Sep 2023 61(5):1064-1095.

Peer Reviewed: Y

Page Count: 32

Descriptors: Flipped Classroom, Error Correction, Elementary School Students, Programming, Academic Achievement, Cognitive Processes, Difficulty Level, Computer Science Education, Computation, Thinking Skills, Grade 5, Instructional Design, Foreign Countries

Geographic Terms: Asia

Replay debugging: Leveraging record and replay for program debugging

Authors: Honarmand, Nima, Torrellas, Josep

Source: 2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA) Computer Architecture (ISCA), 2014 ACM/IEEE 41st International Symposium on. :455-456 Jun, 2014

Relation: 2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA)

Towards the multithreaded deterministic replay in program debugging

Authors: Peng Wang, Xiang Zhang, Peilin Hao, Yu Zhang

Source: 2012 8th International Conference on Information Science and Digital Content Technology (ICIDT2012) Information Science and Digital Content Technology (ICIDT), 2012 8th International Conference on. 1:139-144 Jun, 2012

Relation: 2012 8th International Conference on Information Science and Digital Content Technology (ICIS and IDCTA)