Cover Image

LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Zirong, An, Ziyan, Reynolds, Jennifer, Mullen, Kristin, Martini, Stephen, Ma, Meiyi
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tutorial Debriefing: Applied Statistical Causal Inference in Requirements Engineering
by: Frattini, Julian, et al.
Published: (2025)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
by: Zhang, Ke, et al.
Published: (2025)

Automated Control Logic Test Case Generation using Large Language Models
by: Koziolek, Heiko, et al.
Published: (2024)

Counterexample Classification against Signal Temporal Logic Specifications
by: Zhang, Zhenya, et al.
Published: (2026)

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
by: Sung, Sicheol, et al.
Published: (2025)

Ladder Logic Translation using Large Language Models in Industrial Automation
by: Ogundare, Oluwatosin, et al.
Published: (2026)

Adopting Large Language Models to Automated System Integration
by: Pesl, Robin D.
Published: (2025)

Integrating Large Language Models for Automated Structural Analysis
by: Liang, Haoran, et al.
Published: (2025)

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
by: Jiang, Weipeng, et al.
Published: (2024)

Large Language Models for Automated Web-Form-Test Generation: An Empirical Study
by: Li, Tao, et al.
Published: (2024)

Trace Diagnostics for Signal-based Temporal Properties
by: Boufaied, Chaima, et al.
Published: (2022)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
by: Ma, Lezhi, et al.
Published: (2024)

A Systematic Literature Review on Large Language Models for Automated Program Repair
by: Zhang, Quanjun, et al.
Published: (2024)

Fine-Tuning and Prompt Engineering for Large Language Models-based Code Review Automation
by: Pornprasit, Chanathip, et al.
Published: (2024)

Automated Harmfulness Testing for Code Large Language Models
by: Tan, Honghao, et al.
Published: (2025)

Automated Repair of C Programs Using Large Language Models
by: Farzandway, Mahdi, et al.
Published: (2025)

Rethinking Legal Compliance Automation: Opportunities with Large Language Models
by: Hassani, Shabnam, et al.
Published: (2024)

Exploring Generalizable Automated Program Repair with Large Language Models
by: Campos, Viola, et al.
Published: (2025)

CIgrate: Automating CI Service Migration with Large Language Models
by: Hossain, Md Nazmul, et al.
Published: (2025)

TickIt: Leveraging Large Language Models for Automated Ticket Escalation
by: Liu, Fengrui, et al.
Published: (2025)

Empirical Evaluation of Large Language Models in Automated Program Repair
by: Sun, Jiajun, et al.
Published: (2025)

Analyzing the Instability of Large Language Models in Automated Bug Injection and Correction
by: Er, Mehmet Bilal, et al.
Published: (2025)

KAT: Dependency-aware Automated API Testing with Large Language Models
by: Le, Tri, et al.
Published: (2024)

Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
by: Yang, Aidan Z. H., et al.
Published: (2024)

Improving Requirements Completeness: Automated Assistance through Large Language Models
by: Luitel, Dipeeka, et al.
Published: (2023)

Automated Classification of Human Code Review Comments with Large Language Models
by: Çağlar, Semih, et al.
Published: (2026)

Automated Unit Test Improvement using Large Language Models at Meta
by: Alshahwan, Nadia, et al.
Published: (2024)

Automated Update of Android Deprecated API Usages with Large Language Models
by: Mahmud, Tarek, et al.
Published: (2024)

A Deep Dive into Large Language Models for Automated Bug Localization and Repair
by: Hossain, Soneya Binta, et al.
Published: (2024)

ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings
by: Tornhill, Adam, et al.
Published: (2025)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
by: Li, Fengjie, et al.
Published: (2024)

Automated Commit Message Generation with Large Language Models: An Empirical Study and Beyond
by: Xue, Pengyu, et al.
Published: (2024)

Automated Test Transfer Across Android Apps Using Large Language Models
by: Beyzaei, Benyamin, et al.
Published: (2024)

Towards Automated Page Object Generation for Web Testing using Large Language Models
by: Karagöz, Betül, et al.
Published: (2026)

Prompting Is All You Need: Automated Android Bug Replay with Large Language Models
by: Feng, Sidong, et al.
Published: (2023)

Enhancing Large Language Models with Retrieval Augmented Generation for Software Testing and Inspection Automation
by: Fingleton, Zoe, et al.
Published: (2026)

Development of Automated Software Design Document Review Methods Using Large Language Models
by: Fukuda, Takasaburo, et al.
Published: (2025)

Automated Test Suite Enhancement Using Large Language Models with Few-shot Prompting
by: Chudic, Alex, et al.
Published: (2026)

Automated Program Repair Based on REST API Specifications Using Large Language Models
by: Yamagishi, Katsuki, et al.
Published: (2025)

Exploring Parameter-Efficient Fine-Tuning of Large Language Model on Automated Program Repair
by: Li, Guochang, et al.
Published: (2024)