:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ferreira, Margarida, Nicolet, Victor, Pham, Luan, Dodds, Joey, Kroening, Daniel, Lynce, Ines, Martins, Ruben
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Machine Learning
Online Access:	https://arxiv.org/abs/2509.06911
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems
by: Pham, Luan, et al.
Published: (2026)

Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
by: Yang, Zhenning, et al.
Published: (2025)

Program Synthesis from Partial Traces
by: Ferreira, Margarida, et al.
Published: (2025)

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
by: Ibrahimzada, Ali Reza, et al.
Published: (2025)

SPELL: Synthesis of Programmatic Edits using LLMs
by: Ramos, Daniel, et al.
Published: (2026)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
by: Arquint, Linard, et al.
Published: (2025)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
by: Eniser, Hasan Ferit, et al.
Published: (2024)

MELT: Mining Effective Lightweight Transformations from Pull Requests
by: Ramos, Daniel, et al.
Published: (2023)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
by: Yang, Aidan Z. H., et al.
Published: (2024)

DeepParse: Hybrid Log Parsing with LLM-Synthesized Regex Masks
by: Shetaia, Amir, et al.
Published: (2026)

Agentic Model Checking
by: Sun, Youcheng, et al.
Published: (2026)

Quantifying the benefits of code hints for refactoring deprecated Java APIs
by: David, Cristina, et al.
Published: (2024)

Event-Driven Inconsistency Detection Between UML Class and Sequence Diagrams
by: Lazzari, Luan, et al.
Published: (2025)

BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection
by: Pham, Luan, et al.
Published: (2024)

Graph-Free Root Cause Analysis
by: Pham, Luan
Published: (2026)

AnomalyGen: Enhancing Log-Based Anomaly Detection with Code-Guided Data Augmentation
by: Li, Xinyu, et al.
Published: (2026)

ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories
by: Ibrahimzada, Ali Reza, et al.
Published: (2026)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)

Systematic API Testing Through Model Checking and Executable Contracts
by: Ribeiro, Ana, et al.
Published: (2026)

Root Cause Analysis for Microservice System based on Causal Inference: How Far Are We?
by: Pham, Luan, et al.
Published: (2024)

Beyond Window-Based Detection: A Graph-Centric Framework for Discrete Log Anomaly Detection
by: Qi, Jiaxing, et al.
Published: (2025)

TORAI: Multi-source Root Cause Analysis for Blind Spots in Microservice Service Call Graph
by: Pham, Luan, et al.
Published: (2026)

Acceptance Test Generation with Large Language Models: An Industrial Case Study
by: Ferreira, Margarida, et al.
Published: (2025)

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
by: Gagliardi, Hernan, et al.
Published: (2025)

Perception-Guided Fuzzing for Simulated Scenario-Based Testing of Autonomous Driving Systems
by: Pham, Tri Minh Triet, et al.
Published: (2024)

RCAEval: A Benchmark for Root Cause Analysis of Microservice Systems with Telemetry Data
by: Pham, Luan, et al.
Published: (2024)

LogPurge: Log Data Purification for Anomaly Detection via Rule-Enhanced Filtering
by: Zhang, Shenglin, et al.
Published: (2025)

Impact of Log Parsing on Deep Learning-Based Anomaly Detection
by: Khan, Zanis Ali, et al.
Published: (2023)

FVSpec: Real-World Property-Based Tests as Lean Challenges
by: Dougherty, Quinn, et al.
Published: (2026)

RefFilter: Improving Semantic Conflict Detection via Refactoring-Aware Static Analysis
by: Lira, Victor, et al.
Published: (2025)

Reducing Events to Augment Log-based Anomaly Detection Models: An Empirical Study
by: Zhang, Lingzhe, et al.
Published: (2024)

Code Reviewer Recommendation Based on a Hypergraph with Multiplex Relationships
by: Qiao, Yu, et al.
Published: (2024)

Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem
by: Maaz, Muhammad, et al.
Published: (2025)

Validated Code Translation for Projects with External Libraries
by: Zhang, Hanliang, et al.
Published: (2026)

Practitioners' Expectations on Log Anomaly Detection
by: Ma, Xiaoxue, et al.
Published: (2024)

On the Influence of Data Resampling for Deep Learning-Based Log Anomaly Detection: Insights and Recommendations
by: Ma, Xiaoxue, et al.
Published: (2024)

AnomalyGen: An Automated Semantic Log Sequence Generation Framework with LLM for Anomaly Detection
by: Li, Xinyu, et al.
Published: (2025)

AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

Multivariate Log-based Anomaly Detection for Distributed Database
by: Zhang, Lingzhe, et al.
Published: (2024)

Detecting Anomalies in Software Execution Logs with Siamese Network
by: Hashemi, Shayan, et al.
Published: (2021)