Cover Image

Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kleijwegt, Alex, Yaman, Sinem Getir, Calinescu, Radu
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Analyzing and Debugging Normative Requirements via Satisfiability Checking
by: Feng, Nick, et al.
Published: (2024)

Normative Requirements Operationalization with Large Language Models
by: Feng, Nick, et al.
Published: (2024)

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

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
by: Vázquez, Gricel, et al.
Published: (2026)

Enhancing Debugging Skills with AI-Powered Assistance: A Real-Time Tool for Debugging Support
by: Artser, Elizaveta, et al.
Published: (2026)

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

Toward a Better Understanding of Probabilistic Delta Debugging
by: Zhang, Mengxiao, et al.
Published: (2024)

Formal Synthesis of Uncertainty Reduction Controllers
by: Carwehl, Marc, et al.
Published: (2024)

Requirements-driven Slicing of Simulink Models Using LLMs
by: Luitel, Dipeeka, et al.
Published: (2024)

Can You Mimic Me? Exploring the Use of Android Record & Replay Tools in Debugging
by: Song, Zihe, et al.
Published: (2025)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
by: Yan, Jiwei, et al.
Published: (2024)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
by: Mavridou, Anastasia, et al.
Published: (2025)

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

Post-hoc LLM-Supported Debugging of Distributed Processes
by: Schiese, Dennis, et al.
Published: (2025)

Guided Debugging of Auto-Translated Code Using Differential Testing
by: Wu, Shengnan, et al.
Published: (2025)

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

ROOT: Requirements Organization and Optimization Tool
by: Dearstyne, Katherine R., et al.
Published: (2024)

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

A Proposal for a Debugging Learning Support Environment for Undergraduate Students Majoring in Computer Science
by: Kanaya, Aoi, et al.
Published: (2024)

Requirements are All You Need: From Requirements to Code with LLMs
by: Wei, Bingyang
Published: (2024)

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

ProDebug: An Automated Debugging System for Prolog
by: Brancas, Ricardo, et al.
Published: (2026)

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

Verification and External Parameter Inference for Stochastic World Models
by: Calinescu, Radu, et al.
Published: (2025)

How to Teach Programming in the AI Era? Using LLMs as a Teachable Agent for Debugging
by: Ma, Qianou, et al.
Published: (2023)

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

Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool
by: Kurniawan, Oka, et al.
Published: (2025)

Using LLMs and Essence to Support Software Practice Adoption
by: Nicoletti, Sonia, et al.
Published: (2025)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
by: Jayasuriya, Dinithi, et al.
Published: (2026)

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

Using LLMs in Software Requirements Specifications: An Empirical Evaluation
by: Krishna, Madhava, et al.
Published: (2024)

LLMREI: Automating Requirements Elicitation Interviews with LLMs
by: Korn, Alexander, et al.
Published: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, 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)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Toward an Understanding of Developer Behaviour while Using Bug Localization Tools
by: Pedreira, Pablo Diaz, et al.
Published: (2026)

Understanding the Influence of Motivation on Requirements Engineering-related Activities
by: Hidellaarachchi, Dulaji, et al.
Published: (2023)

Exploring the Use of LLMs for Requirements Specification in an IT Consulting Company
by: Pasquale, Liliana, et al.
Published: (2025)