Cover Image

AutoCheck: Automatically Identifying Variables for Checkpointing by Data Dependency Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fu, Xiang, Zhang, Weiping, Huang, Xin, Xu, Wubiao, Meng, Shiman, Guo, Luanzheng, Sato, Kento
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scrutinizing Variables for Checkpoint Using Automatic Differentiation
by: Huang, Xin, et al.
Published: (2026)

AutoFirm: Automatically Identifying Reused Libraries inside IoT Firmware at Large-Scale
by: Chen, YongLe, et al.
Published: (2024)

AutoFL: A Tool for Automatic Multi-granular Labelling of Software Repositories
by: Sas, Cezar, et al.
Published: (2024)

An Effective Docker Image Slimming Approach Based on Source Code Data Dependency Analysis
by: Han, Jiaxuan, et al.
Published: (2025)

Automatically Detecting Checked-In Secrets in Android Apps: How Far Are We?
by: Li, Kevin, et al.
Published: (2024)

Identifying Critical Dependencies in Large-Scale Continuous Software Engineering
by: Tkalich, Anastasiia, et al.
Published: (2025)

RESTRuler: Towards Automatically Identifying Violations of RESTful Design Rules in Web APIs
by: Bogner, Justus, et al.
Published: (2024)

EFACT: an External Function Auto-Completion Tool to Strengthen Static Binary Lifting
by: Zhang, Yilei, et al.
Published: (2024)

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

AutoCodeBench: Large Language Models are Automatic Code Benchmark Generators
by: Chou, Jason, et al.
Published: (2025)

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

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
by: Chen, Boqi, et al.
Published: (2025)

Guided Debugging of Auto-Translated Code Using Differential Testing
by: Wu, Shengnan, et al.
Published: (2025)

AUITestAgent: Automatic Requirements Oriented GUI Function Testing
by: Hu, Yongxiang, et al.
Published: (2024)

What You See Is What You Get: Attention-based Self-guided Automatic Unit Test Generation
by: Yin, Xin, et al.
Published: (2024)

PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code
by: Dreyfuss, Itay, et al.
Published: (2025)

SparseCoder: Identifier-Aware Sparse Transformer for File-Level Code Summarization
by: Wang, Yanlin, et al.
Published: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
by: Qiu, Ruidi, et al.
Published: (2024)

MIRAGE: Online LLM Simulation for Microservice Dependency Testing
by: Zhang, XinRan
Published: (2026)

Do Automatic Comment Generation Techniques Fall Short? Exploring the Influence of Method Dependencies on Code Understanding
by: Billah, Md Mustakim, et al.
Published: (2025)

Guiding ChatGPT to Fix Web UI Tests via Explanation-Consistency Checking
by: Xu, Zhuolin, et al.
Published: (2023)

A Task Taxonomy for Conformance Checking
by: Rehse, Jana-Rebecca, et al.
Published: (2025)

PAT-Agent: Autoformalization for Model Checking
by: Zuo, Xinyue, et al.
Published: (2025)

PatchZero: Zero-Shot Automatic Patch Correctness Assessment
by: Zhou, Xin, et al.
Published: (2023)

PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software
by: Fu, Han, et al.
Published: (2026)

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

T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble
by: Gharibi, Reza, et al.
Published: (2023)

HALF: Hollowing Analysis Framework for Binary Programs with Kernel Module Assistance
by: Long, Zhangbo, et al.
Published: (2025)

GroupTuner: Efficient Group-Aware Compiler Auto-Tuning
by: Gao, Bingyu, et al.
Published: (2025)

AutoMerge: Search-Based Model Merging Framework for Effective Model Reuse
by: Lu, You, et al.
Published: (2026)

A Large Language Model Approach to Identify Flakiness in C++ Projects
by: Sun, Xin, et al.
Published: (2024)

Automatic Smart Contract Comment Generation via Large Language Models and In-Context Learning
by: Zhao, Junjie, et al.
Published: (2023)

Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis
by: Zhang, Lyuye, et al.
Published: (2025)

Automatic Bi-modal Question Title Generation for Stack Overflow with Prompt Learning
by: Yang, Shaoyu, et al.
Published: (2024)

TreeMind: Automatically Reproducing Android Bug Reports via LLM-empowered Monte Carlo Tree Search
by: Chen, Zhengyu, et al.
Published: (2025)

Prompting for Automatic Log Template Extraction
by: Xu, Junjielong, et al.
Published: (2023)

Neural Variable Name Repair: Learning to Rename Identifiers for Readability
by: Yousuf, Muhammad, et al.
Published: (2025)

Mint: Cost-Efficient Tracing with All Requests Collection via Commonality and Variability Analysis
by: Huang, Haiyu, et al.
Published: (2024)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
by: Feng, Nick, et al.
Published: (2024)

AL-Bench: A Benchmark for Automatic Logging
by: Tan, Boyin, et al.
Published: (2025)