Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Zirong, An, Ziyan, Reynolds, Jennifer, Mullen, Kristin, Martini, Stephen, Ma, Meiyi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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