Cover Image

Auto-SPT: Automating Semantic Preserving Transformations for Code

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hooda, Ashish, Christodorescu, Mihai, Ren, Chuangang, Wilson, Aaron, Fawaz, Kassem, Jha, Somesh
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
by: Hooda, Ashish, et al.
Published: (2024)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
by: Zhou, Tianyang, et al.
Published: (2025)

Verifier-Guided Code Translation via Meta-Step Decoding
by: Zhou, Tianyang, et al.
Published: (2026)

Taint-Style Vulnerability Detection and Confirmation for Node.js Packages Using LLM Agent Reasoning
by: Ni, Ronghao, et al.
Published: (2026)

Rethinking Diversity in Deep Neural Network Testing
by: Wang, Zi, et al.
Published: (2023)

AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
by: Nunez, Ana, et al.
Published: (2024)

Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
by: Orvalho, Pedro, et al.
Published: (2025)

DialogAgent: An Auto-engagement Agent for Code Question Answering Data Production
by: Liang, Xiaoyun, et al.
Published: (2024)

Automated Customization of LLMs for Enterprise Code Repositories Using Semantic Scopes
by: Finkler, Ulrich, et al.
Published: (2026)

Multimodal Auto Validation For Self-Refinement in Web Agents
by: Azam, Ruhana, et al.
Published: (2024)

Code Hallucination
by: Rahman, Mirza Masfiqur, et al.
Published: (2024)

Self-Adaptive ERP: Embedding NLP into Petri-Net creation and Model Matching
by: Maged, Ahmed, et al.
Published: (2025)

AutoDev: Automated AI-Driven Development
by: Tufano, Michele, et al.
Published: (2024)

Capture the Flags: Family-Based Evaluation of Agentic LLMs via Semantics-Preserving Transformations
by: Honarvar, Shahin, et al.
Published: (2026)

AutoCodeRover: Autonomous Program Improvement
by: Zhang, Yuntong, et al.
Published: (2024)

AutoDroid: LLM-powered Task Automation in Android
by: Wen, Hao, et al.
Published: (2023)

DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
by: Zhu, Qiming, et al.
Published: (2024)

AutoTest: Evolutionary Code Solution Selection with Test Cases
by: Duan, Zhihua, et al.
Published: (2024)

Undetectable Backdoors in Model Parameters: Hiding Sparse Secrets in High Dimensions
by: Choudhary, Sarthak, et al.
Published: (2026)

Previously on... Automating Code Review
by: Heumüller, Robert, et al.
Published: (2025)

AutoEmpirical: LLM-Based Automated Research for Empirical Software Fault Analysis
by: Yu, Jiongchi, et al.
Published: (2025)

AutoVerus: Automated Proof Generation for Rust Code
by: Yang, Chenyuan, et al.
Published: (2024)

Semantically Aligned Question and Code Generation for Automated Insight Generation
by: Singha, Ananya, et al.
Published: (2024)

Lost in Transcription: How Speech-to-Text Errors Derail Code Understanding
by: Havare, Jayant, et al.
Published: (2026)

AutoCoder: Enhancing Code Large Language Model with \textsc{AIEV-Instruct}
by: Lei, Bin, et al.
Published: (2024)

An Empirical Framework for Evaluating Semantic Preservation Using Hugging Face
by: Jia, Nan, et al.
Published: (2025)

TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree Transformation
by: Xian, Zixiang, et al.
Published: (2023)

AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution
by: Luo, Weilin, et al.
Published: (2025)

AutoRestTest: A Tool for Automated REST API Testing Using LLMs and MARL
by: Stennett, Tyler, et al.
Published: (2025)

Automated Testing of COBOL to Java Transformation
by: Hans, Sandeep, et al.
Published: (2025)

Automated Validation of COBOL to Java Transformation
by: Kumar, Atul, et al.
Published: (2025)

CodeSense: a Real-World Benchmark and Dataset for Code Semantic Reasoning
by: Roy, Monoshi Kumar, et al.
Published: (2025)

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
by: Abtahi, Seyed Moein, et al.
Published: (2025)

How Do Semantically Equivalent Code Transformations Impact Membership Inference on LLMs for Code?
by: Yang, Hua, et al.
Published: (2025)

Automated Snippet-Alignment Data Augmentation for Code Translation
by: Zhang, Zhiming, et al.
Published: (2025)

Automated Benchmark Generation for Repository-Level Coding Tasks
by: Vergopoulos, Konstantinos, et al.
Published: (2025)

BugSpotter: Automated Generation of Code Debugging Exercises
by: Pădurean, Victor-Alexandru, et al.
Published: (2024)

Semantic Similarity Loss for Neural Source Code Summarization
by: Su, Chia-Yi, et al.
Published: (2023)

DeepCode: Open Agentic Coding
by: Li, Zongwei, et al.
Published: (2025)

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
by: Töpfer, Michal, et al.
Published: (2026)