:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Su, Yuheng, Yang, Qiusong, Ci, Yiwei
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2411.12749
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
by: Li, Yufeng, et al.
Published: (2024)

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction
by: Tian, Enyuan, et al.
Published: (2025)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
by: Su, Yuheng, et al.
Published: (2025)

The rIC3 Hardware Model Checker
by: Su, Yuheng, et al.
Published: (2025)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
by: Su, Yuheng, et al.
Published: (2025)

Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
by: Cao, Weining, et al.
Published: (2026)

LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
by: Miao, Mingkai, et al.
Published: (2026)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
by: Su, Yuheng, et al.
Published: (2026)

Code-Survey: An LLM-Driven Methodology for Analyzing Large-Scale Codebases
by: Zheng, Yusheng, et al.
Published: (2024)

TESTEVAL: Benchmarking Large Language Models for Test Case Generation
by: Wang, Wenhan, et al.
Published: (2024)

Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models
by: Wang, Zhijie, et al.
Published: (2024)

Are LLMs Correctly Integrated into Software Systems?
by: Shao, Yuchen, et al.
Published: (2024)

Correctness-Guaranteed Code Generation via Constrained Decoding
by: Li, Lingxiao, et al.
Published: (2025)

Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing
by: Wang, Wenhan, et al.
Published: (2025)

Don't Confuse! Redrawing GUI Navigation Flow in Mobile Apps for Visually Impaired Users
by: Zhang, Mengxi, et al.
Published: (2025)

IOTEL: A Tool for Generating IoT-enriched Object-Centric Event Logs
by: Wei, Jia, et al.
Published: (2026)

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation
by: Yang, Di, et al.
Published: (2026)

Mono2Sls: Automated Monolith-to-Serverless Migration via Multi-Stage Pipeline with Static Analysis
by: Chen, Xingyan, et al.
Published: (2026)

Cascade Generalization-based Classifiers for Software Defect Prediction
by: Bashir, Aminat, et al.
Published: (2024)

Predicting Developer Acceptance of AI-Generated Code Suggestions
by: Jiang, Jing, et al.
Published: (2026)

CAM: A Causality-based Analysis Framework for Multi-Agent Code Generation Systems
by: Lyu, Zongyi, et al.
Published: (2026)

Evolution without an Oracle: Driving Effective Evolution with LLM Judges
by: Zhao, Zhe, et al.
Published: (2025)

What to Cut? Predicting Unnecessary Methods in Agentic Code Generation
by: Watanabe, Kan, et al.
Published: (2026)

Context-aware Code Summary Generation
by: Su, Chia-Yi, et al.
Published: (2024)

VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation
by: Wang, Zhijie, et al.
Published: (2024)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
by: Xiong, Yiheng, et al.
Published: (2026)

Explaining Code Risk in OSS: Towards LLM-Generated Fault Prediction Interpretations
by: Adejumo, Elijah Kayode, et al.
Published: (2025)

SABER: Model-agnostic Backdoor Attack on Chain-of-Thought in Neural Code Generation
by: Jin, Naizhu, et al.
Published: (2024)

When to Answer and When to Defer: A Decision Framework for Reliable Code Predictions
by: Rathnasuriya, Ravishka, et al.
Published: (2026)

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments
by: Hu, Yiwei, et al.
Published: (2025)

Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks
by: Liu, Zhongxin, et al.
Published: (2024)

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

Exploring the Effectiveness of LLMs in Automated Logging Generation: An Empirical Study
by: Li, Yichen, et al.
Published: (2023)

MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
by: Yang, Tianyi, et al.
Published: (2022)

CodeDPO: Aligning Code Models with Self Generated and Verified Source Code
by: Zhang, Kechi, et al.
Published: (2024)

Defect Category Prediction Based on Multi-Source Domain Adaptation
by: Xing, Ying, et al.
Published: (2024)

Understanding the Fundamental Design Decisions of Retrieval-Augmented Generation Systems
by: Zhao, Shengming, et al.
Published: (2024)

Evaluating LLMs on Sequential API Call Through Automated Test Generation
by: Huang, Yuheng, et al.
Published: (2025)

Foundation Models for Autonomous Driving System: An Initial Roadmap
by: Wu, Xiongfei, et al.
Published: (2025)