Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Zirong, An, Ziyan, Reynolds, Jennifer, Mullen, Kristin, Martini, Stephen, Ma, Meiyi
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Tutorial Debriefing: Applied Statistical Causal Inference in Requirements Engineering
von: Frattini, Julian, et al.
Veröffentlicht: (2025)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
von: Zhang, Ke, et al.
Veröffentlicht: (2025)

Automated Control Logic Test Case Generation using Large Language Models
von: Koziolek, Heiko, et al.
Veröffentlicht: (2024)

Counterexample Classification against Signal Temporal Logic Specifications
von: Zhang, Zhenya, et al.
Veröffentlicht: (2026)

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
von: Sung, Sicheol, et al.
Veröffentlicht: (2025)

Ladder Logic Translation using Large Language Models in Industrial Automation
von: Ogundare, Oluwatosin, et al.
Veröffentlicht: (2026)

Adopting Large Language Models to Automated System Integration
von: Pesl, Robin D.
Veröffentlicht: (2025)

Integrating Large Language Models for Automated Structural Analysis
von: Liang, Haoran, et al.
Veröffentlicht: (2025)

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

Large Language Models for Automated Web-Form-Test Generation: An Empirical Study
von: Li, Tao, et al.
Veröffentlicht: (2024)

Trace Diagnostics for Signal-based Temporal Properties
von: Boufaied, Chaima, et al.
Veröffentlicht: (2022)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
von: Ma, Lezhi, et al.
Veröffentlicht: (2024)

A Systematic Literature Review on Large Language Models for Automated Program Repair
von: Zhang, Quanjun, et al.
Veröffentlicht: (2024)

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

Automated Harmfulness Testing for Code Large Language Models
von: Tan, Honghao, et al.
Veröffentlicht: (2025)

Automated Repair of C Programs Using Large Language Models
von: Farzandway, Mahdi, et al.
Veröffentlicht: (2025)

Rethinking Legal Compliance Automation: Opportunities with Large Language Models
von: Hassani, Shabnam, et al.
Veröffentlicht: (2024)

Exploring Generalizable Automated Program Repair with Large Language Models
von: Campos, Viola, et al.
Veröffentlicht: (2025)

CIgrate: Automating CI Service Migration with Large Language Models
von: Hossain, Md Nazmul, et al.
Veröffentlicht: (2025)

TickIt: Leveraging Large Language Models for Automated Ticket Escalation
von: Liu, Fengrui, et al.
Veröffentlicht: (2025)

Empirical Evaluation of Large Language Models in Automated Program Repair
von: Sun, Jiajun, et al.
Veröffentlicht: (2025)

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

KAT: Dependency-aware Automated API Testing with Large Language Models
von: Le, Tri, et al.
Veröffentlicht: (2024)

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

Improving Requirements Completeness: Automated Assistance through Large Language Models
von: Luitel, Dipeeka, et al.
Veröffentlicht: (2023)

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

Automated Unit Test Improvement using Large Language Models at Meta
von: Alshahwan, Nadia, et al.
Veröffentlicht: (2024)

Automated Update of Android Deprecated API Usages with Large Language Models
von: Mahmud, Tarek, et al.
Veröffentlicht: (2024)

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

ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings
von: Tornhill, Adam, et al.
Veröffentlicht: (2025)

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

Automated Commit Message Generation with Large Language Models: An Empirical Study and Beyond
von: Xue, Pengyu, et al.
Veröffentlicht: (2024)

Automated Test Transfer Across Android Apps Using Large Language Models
von: Beyzaei, Benyamin, et al.
Veröffentlicht: (2024)

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

Prompting Is All You Need: Automated Android Bug Replay with Large Language Models
von: Feng, Sidong, et al.
Veröffentlicht: (2023)

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

Development of Automated Software Design Document Review Methods Using Large Language Models
von: Fukuda, Takasaburo, et al.
Veröffentlicht: (2025)

Automated Test Suite Enhancement Using Large Language Models with Few-shot Prompting
von: Chudic, Alex, et al.
Veröffentlicht: (2026)

Automated Program Repair Based on REST API Specifications Using Large Language Models
von: Yamagishi, Katsuki, et al.
Veröffentlicht: (2025)

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