Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chen, Zirong, An, Ziyan, Reynolds, Jennifer, Mullen, Kristin, Martini, Stephen, Ma, Meiyi
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Tutorial Debriefing: Applied Statistical Causal Inference in Requirements Engineering
par: Frattini, Julian, et autres
Publié: (2025)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
par: Zhang, Ke, et autres
Publié: (2025)

Automated Control Logic Test Case Generation using Large Language Models
par: Koziolek, Heiko, et autres
Publié: (2024)

Counterexample Classification against Signal Temporal Logic Specifications
par: Zhang, Zhenya, et autres
Publié: (2026)

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
par: Sung, Sicheol, et autres
Publié: (2025)

Ladder Logic Translation using Large Language Models in Industrial Automation
par: Ogundare, Oluwatosin, et autres
Publié: (2026)

Adopting Large Language Models to Automated System Integration
par: Pesl, Robin D.
Publié: (2025)

Integrating Large Language Models for Automated Structural Analysis
par: Liang, Haoran, et autres
Publié: (2025)

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
par: Jiang, Weipeng, et autres
Publié: (2024)

Large Language Models for Automated Web-Form-Test Generation: An Empirical Study
par: Li, Tao, et autres
Publié: (2024)

Trace Diagnostics for Signal-based Temporal Properties
par: Boufaied, Chaima, et autres
Publié: (2022)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
par: Ma, Lezhi, et autres
Publié: (2024)

Fine-Tuning and Prompt Engineering for Large Language Models-based Code Review Automation
par: Pornprasit, Chanathip, et autres
Publié: (2024)

A Systematic Literature Review on Large Language Models for Automated Program Repair
par: Zhang, Quanjun, et autres
Publié: (2024)

Automated Harmfulness Testing for Code Large Language Models
par: Tan, Honghao, et autres
Publié: (2025)

Automated Repair of C Programs Using Large Language Models
par: Farzandway, Mahdi, et autres
Publié: (2025)

Rethinking Legal Compliance Automation: Opportunities with Large Language Models
par: Hassani, Shabnam, et autres
Publié: (2024)

Exploring Generalizable Automated Program Repair with Large Language Models
par: Campos, Viola, et autres
Publié: (2025)

CIgrate: Automating CI Service Migration with Large Language Models
par: Hossain, Md Nazmul, et autres
Publié: (2025)

TickIt: Leveraging Large Language Models for Automated Ticket Escalation
par: Liu, Fengrui, et autres
Publié: (2025)

Empirical Evaluation of Large Language Models in Automated Program Repair
par: Sun, Jiajun, et autres
Publié: (2025)

Analyzing the Instability of Large Language Models in Automated Bug Injection and Correction
par: Er, Mehmet Bilal, et autres
Publié: (2025)

KAT: Dependency-aware Automated API Testing with Large Language Models
par: Le, Tri, et autres
Publié: (2024)

Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
par: Yang, Aidan Z. H., et autres
Publié: (2024)

Improving Requirements Completeness: Automated Assistance through Large Language Models
par: Luitel, Dipeeka, et autres
Publié: (2023)

Automated Classification of Human Code Review Comments with Large Language Models
par: Çağlar, Semih, et autres
Publié: (2026)

Automated Unit Test Improvement using Large Language Models at Meta
par: Alshahwan, Nadia, et autres
Publié: (2024)

Automated Update of Android Deprecated API Usages with Large Language Models
par: Mahmud, Tarek, et autres
Publié: (2024)

A Deep Dive into Large Language Models for Automated Bug Localization and Repair
par: Hossain, Soneya Binta, et autres
Publié: (2024)

ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings
par: Tornhill, Adam, et autres
Publié: (2025)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
par: Li, Fengjie, et autres
Publié: (2024)

Automated Commit Message Generation with Large Language Models: An Empirical Study and Beyond
par: Xue, Pengyu, et autres
Publié: (2024)

Automated Test Transfer Across Android Apps Using Large Language Models
par: Beyzaei, Benyamin, et autres
Publié: (2024)

Towards Automated Page Object Generation for Web Testing using Large Language Models
par: Karagöz, Betül, et autres
Publié: (2026)

Prompting Is All You Need: Automated Android Bug Replay with Large Language Models
par: Feng, Sidong, et autres
Publié: (2023)

Enhancing Large Language Models with Retrieval Augmented Generation for Software Testing and Inspection Automation
par: Fingleton, Zoe, et autres
Publié: (2026)

Development of Automated Software Design Document Review Methods Using Large Language Models
par: Fukuda, Takasaburo, et autres
Publié: (2025)

Automated Test Suite Enhancement Using Large Language Models with Few-shot Prompting
par: Chudic, Alex, et autres
Publié: (2026)

Automated Program Repair Based on REST API Specifications Using Large Language Models
par: Yamagishi, Katsuki, et autres
Publié: (2025)

Exploring Parameter-Efficient Fine-Tuning of Large Language Model on Automated Program Repair
par: Li, Guochang, et autres
Publié: (2024)