:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Daneshyan, Farbod, He, Runzhi, Wu, Jianyu, Zhou, Minghui
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2505.17977
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Characterising Open Source Co-opetition in Company-hosted Open Source Software Projects: The Cases of PyTorch, TensorFlow, and Transformers
by: Osborne, Cailean, et al.
Published: (2024)

Package Dashboard: A Cross-Ecosystem Framework for Dual-Perspective Analysis of Software Packages
by: Liu, Ziheng, et al.
Published: (2025)

Revealing the value of Repository Centrality in lifespan prediction of Open Source Software Projects
by: He, Runzhi, et al.
Published: (2024)

Beyond Banning AI: A First Look at GenAI Governance in Open Source Software Communities
by: Yang, Wenhao, et al.
Published: (2026)

Predicting Abandonment of Open Source Software Projects with An Integrated Feature Framework
by: Xu, Yiming, et al.
Published: (2025)

ReleaseEval: A Benchmark for Evaluating Language Models in Automated Release Note Generation
by: Meng, Qianru, et al.
Published: (2025)

Establishing Traceability Links between Release Notes & Software Artifacts: Practitioners' Perspectives
by: Nath, Sristy Sumana, et al.
Published: (2025)

The Readability Spectrum: Patterns, Issues, and Prompt Effects in LLM-Generated Code
by: Ye, Hengzhi, et al.
Published: (2026)

Notes On Writing Effective Empirical Software Engineering Papers: An Opinionated Primer
by: Verdecchia, Roberto, et al.
Published: (2025)

A Note on Code Quality Score: LLMs for Maintainable Large Codebases
by: Wong, Sherman, et al.
Published: (2025)

AI-Powered, But Power-Hungry? Energy Efficiency of LLM-Generated Code
by: Solovyeva, Lola, et al.
Published: (2025)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
by: Wu, Hao, et al.
Published: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
by: Zhang, Jianyu, et al.
Published: (2024)

Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
by: Salzano, Francesco, et al.
Published: (2025)

LiCoEval: Evaluating LLMs on License Compliance in Code Generation
by: Xu, Weiwei, et al.
Published: (2024)

Navigating MLOps: Insights into Maturity, Lifecycle, Tools, and Careers
by: Stone, Jasper, et al.
Published: (2025)

On LLM-Assisted Generation of Smart Contracts from Business Processes
by: Stiehle, Fabian, et al.
Published: (2025)

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
by: Ma, Wei, et al.
Published: (2024)

VarParser: Unleashing the Neglected Power of Variables for LLM-based Log Parsing
by: Sun, Jinrui, et al.
Published: (2026)

Just-in-Time Catching Test Generation at Meta
by: Becker, Matthew, et al.
Published: (2026)

Codetations: Intelligent, Persistent Notes and UIs for Programs and Other Documents
by: Misback, Edward, et al.
Published: (2025)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
by: Chang, Jianming, et al.
Published: (2025)

Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation
by: Baresi, Luciano, et al.
Published: (2026)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
by: Liu, Ye, et al.
Published: (2024)

An Agile Formal Specification Language Design Based on K Framework
by: Zhang, Jianyu, et al.
Published: (2024)

Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing
by: Liang, Ruichao, et al.
Published: (2024)

Analyzing C/C++ Library Migrations at the Package-level: Prevalence, Domains, Targets and Rationals across Seven Package Management Tools
by: Gu, Haiqiao, et al.
Published: (2025)

Small Changes, Big Trouble: Demystifying and Parsing License Variants for Incompatibility Detection in the PyPI Ecosystem
by: Xu, Weiwei, et al.
Published: (2025)

PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages
by: Gao, Kai, et al.
Published: (2024)

Automated Invariant Generation for Solidity Smart Contracts
by: Liu, Ye, et al.
Published: (2024)

Generating Move Smart Contracts based on Concepts
by: Karanjai, Rabimba, et al.
Published: (2024)

Beyond Code Generation: Assessing Code LLM Maturity with Postconditions
by: He, Fusen, et al.
Published: (2024)

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
by: Wu, Shuohan, et al.
Published: (2024)

Toward Realistic Evaluations of Just-In-Time Vulnerability Prediction
by: Nguyen, Duong, et al.
Published: (2025)

The Llama 4 Herd: Architecture, Training, Evaluation, and Deployment Notes
by: arXiv, Redacted by
Published: (2026)

LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation
by: Gai, Keke, et al.
Published: (2025)

Automating Comment Generation for Smart Contract from Bytecode
by: Xiang, Jianhang, et al.
Published: (2025)

Using Semantic Distance to Estimate Uncertainty in LLM-Based Code Generation
by: He, Weilin, et al.
Published: (2026)

When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?
by: Chen, Jingyi, et al.
Published: (2025)

Unlocking the Power of Numbers: Log Compression via Numeric Token Parsing
by: Yu, Siyu, et al.
Published: (2024)