Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Zirong, An, Ziyan, Reynolds, Jennifer, Mullen, Kristin, Martini, Stephen, Ma, Meiyi
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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