Cover Image

ProDebug: An Automated Debugging System for Prolog

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brancas, Ricardo, Manquinho, Vasco, Martins, Ruben
Format:	Preprint
Published:	2026
Subjects:	Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
by: Brancas, Ricardo, et al.
Published: (2024)

CUBES: A Parallel Synthesizer for SQL Using Examples
by: Brancas, Ricardo, et al.
Published: (2022)

Can Automated Feedback Turn Students into Happy Prologians?
by: Brancas, Ricardo, et al.
Published: (2025)

WDD: Weighted Delta Debugging
by: Zhou, Xintong, et al.
Published: (2024)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
by: Stinnett, J. Ryan, et al.
Published: (2024)

Metamorphic Debugging for Accountable Software
by: Tizpaz-Niari, Saeid, et al.
Published: (2024)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
by: Lauwaerts, Tom, et al.
Published: (2025)

Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?
by: Zhu, Wang Bill, et al.
Published: (2026)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
by: Orvalho, Pedro, et al.
Published: (2022)

debug-gym: A Text-Based Environment for Interactive Debugging
by: Yuan, Xingdi, et al.
Published: (2025)

Debugging code world models
by: Rahmani, Babak
Published: (2026)

ChatDBG: Augmenting Debugging with Large Language Models
by: Levin, Kyla H., et al.
Published: (2024)

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
by: Shi, Yuling, et al.
Published: (2024)

DebugBench: Evaluating Debugging Capability of Large Language Models
by: Tian, Runchu, et al.
Published: (2024)

Learning to Generate Unit Tests for Automated Debugging
by: Prasad, Archiki, et al.
Published: (2025)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
by: Li, Shiyang, et al.
Published: (2026)

DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
by: Wu, Linhao, et al.
Published: (2026)

Learning Code-Edit Embedding to Model Student Debugging Behavior
by: Heickal, Hasnain, et al.
Published: (2025)

Leveraging Print Debugging to Improve Code Generation in Large Language Models
by: Hu, Xueyu, et al.
Published: (2024)

DebugHarness: Emulating Human Dynamic Debugging for Autonomous Program Repair
by: Sun, Maolin, et al.
Published: (2026)

DePro: Understanding the Role of LLMs in Debugging Competitive Programming Code
by: Parvez, Nabiha, et al.
Published: (2026)

Towards Practical and Useful Automated Program Repair for Debugging
by: Xin, Qi, et al.
Published: (2024)

Simulated Interactive Debugging
by: Noller, Yannic, et al.
Published: (2025)

DebugTA: An LLM-Based Agent for Simplifying Debugging and Teaching in Programming Education
by: Fu, Lingyue, et al.
Published: (2025)

Spreadsheet Debugging
by: Ayalew, Yirsaw, et al.
Published: (2008)

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
by: Orvalho, Pedro, et al.
Published: (2024)

Accurate Residues for Floating-Point Debugging
by: He, Yumeng, et al.
Published: (2026)

The Debugging Decay Index: Rethinking Debugging Strategies for Code LLMs
by: Adnan, Muntasir, et al.
Published: (2025)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
by: Allred, Taylor, et al.
Published: (2024)

LeDex: Training LLMs to Better Self-Debug and Explain Code
by: Jiang, Nan, et al.
Published: (2024)

BugSpotter: Automated Generation of Code Debugging Exercises
by: Pădurean, Victor-Alexandru, et al.
Published: (2024)

Online and Interactive Bayesian Inference Debugging
by: Nussbaumer, Nathanael, et al.
Published: (2025)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
by: Karapetyan, Daniel
Published: (2025)

A Systematic Mapping Study on the Debugging of Autonomous Driving Systems
by: Shaw, Nathan, et al.
Published: (2026)

A Systematic Survey on Debugging Techniques for Machine Learning Systems
by: Nguyen, Thanh-Dat, et al.
Published: (2025)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
by: Lin, Teyu, et al.
Published: (2026)

Reasoning Trajectories for Socratic Debugging of Student Code: From Misconceptions to Contradictions and Updated Beliefs
by: Al-Hossami, Erfan, et al.
Published: (2025)

MEIC: Re-thinking RTL Debug Automation using LLMs
by: Xu, Ke, et al.
Published: (2024)

Debugging WebAssembly? Put some Whamm on it!
by: Gilbert, Elizabeth, et al.
Published: (2025)

Locating Buggy Segments in Quantum Program Debugging
by: Sato, Naoto, et al.
Published: (2023)