Copertina

SAT-DIFF: A Tree Diffing Framework Using SAT Solving

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Geng, Chuqin, Ye, Haolin, Zhang, Yihan, Pientka, Brigitte, Si, Xujie
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
di: Zhang, Yihan, et al.
Pubblicazione: (2026)

Towards Repository-Level Program Verification with Large Language Models
di: Zhong, Si Cheng, et al.
Pubblicazione: (2025)

Learning Minimal Neural Specifications
di: Geng, Chuqin, et al.
Pubblicazione: (2024)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
di: Beyer, Dirk, et al.
Pubblicazione: (2022)

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
di: Sheng, Junjie, et al.
Pubblicazione: (2025)

Modernizing SMT-Based Type Error Localization
di: Kopinsky, Max, et al.
Pubblicazione: (2024)

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
di: Si, Yuan, et al.
Pubblicazione: (2025)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
di: Dong, Honghua, et al.
Pubblicazione: (2025)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
di: Tang, Hao, et al.
Pubblicazione: (2024)

Solving Package Management via Hypergraph Dependency Resolution
di: Gibb, Ryan, et al.
Pubblicazione: (2025)

Semantic Source Code Segmentation using Small and Large Language Models
di: Dahou, Abdelhalim, et al.
Pubblicazione: (2025)

iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
di: Xu, Ning, et al.
Pubblicazione: (2026)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
di: Montesi, Fabrizio, et al.
Pubblicazione: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
di: Pouget, Stéphane, et al.
Pubblicazione: (2024)

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
di: Kim, Seongmin, et al.
Pubblicazione: (2026)

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

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
di: Ye, He, et al.
Pubblicazione: (2023)

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
di: Sadr, Amirhosein, et al.
Pubblicazione: (2026)

On Repairing Quantum Programs Using ChatGPT
di: Guo, Xiaoyu, et al.
Pubblicazione: (2024)

Developing Accessible Mobile Applications with Cross-Platform Development Frameworks
di: Mascetti, Sergio, et al.
Pubblicazione: (2020)

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

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
di: Zakharov, Vladimir, et al.
Pubblicazione: (2024)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
di: Karapetyan, Daniel
Pubblicazione: (2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
di: Oliveira, Francisco, et al.
Pubblicazione: (2025)

Solving Data-centric Tasks using Large Language Models
di: Barke, Shraddha, et al.
Pubblicazione: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
di: Zhang, Bowen, et al.
Pubblicazione: (2024)

Blueprint First, Model Second: A Framework for Deterministic LLM Workflow
di: Qiu, Libin, et al.
Pubblicazione: (2025)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
di: Li, Zhuohao, et al.
Pubblicazione: (2025)

CUBES: A Parallel Synthesizer for SQL Using Examples
di: Brancas, Ricardo, et al.
Pubblicazione: (2022)

EATXT: A textual concrete syntax for EAST-ADL
di: Zhang, Weixing, et al.
Pubblicazione: (2024)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
di: Mang, Qiuyang, et al.
Pubblicazione: (2025)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
di: Wang, Yongpan, et al.
Pubblicazione: (2025)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
di: Laguna, Ignacio, et al.
Pubblicazione: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
di: Zhang, Jiahao, et al.
Pubblicazione: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
di: Cui, Baoquan, et al.
Pubblicazione: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

QCP: A Practical Separation Logic-based C Program Verification Tool
di: Wu, Xiwei, et al.
Pubblicazione: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
di: Liu, Peipei, et al.
Pubblicazione: (2025)

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
di: Mahathevan, Kabilan, et al.
Pubblicazione: (2026)

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