Image de couverture de livre

Unlocking the Power of Environment Assumptions for Unit Proofs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Priya, Siddharth, Kahsai, Temesghen, Gurfinkel, Arie
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Ownership in low-level intermediate representation
par: Priya, Siddharth, et autres
Publié: (2024)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
par: Chakraborty, Saikat, et autres
Publié: (2024)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
par: Rho, Sanghoon, et autres
Publié: (2024)

A New Generation of Intelligent Development Environments
par: Marron, Mark
Publié: (2024)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
par: Antal, Gábor, et autres
Publié: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
par: Zhang, Bowen, et autres
Publié: (2024)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
par: Zhang, Dylan, et autres
Publié: (2025)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
par: Dau, Anh T. V., et autres
Publié: (2026)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
par: Cai, Jianfeng, et autres
Publié: (2026)

Language Models for Code Completion: A Practical Evaluation
par: Izadi, Maliheh, et autres
Publié: (2024)

Is Self-Repair a Silver Bullet for Code Generation?
par: Olausson, Theo X., et autres
Publié: (2023)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
par: Jiang, Shan, et autres
Publié: (2025)

A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows
par: Daunis, Ivan
Publié: (2025)

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
par: Agarwal, Anmol, et autres
Publié: (2026)

debug-gym: A Text-Based Environment for Interactive Debugging
par: Yuan, Xingdi, et autres
Publié: (2025)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
par: Chen, Boqi, et autres
Publié: (2024)

Stale Profile Matching
par: Ayupov, Amir, et autres
Publié: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
par: Xie, Xiaoheng, et autres
Publié: (2024)

Towards a Transpiler for C/C++ to Safer Rust
par: Tripuramallu, Dhiren, et autres
Publié: (2024)

Type-level Property Based Testing
par: Hansen, Thomas Ekström, et autres
Publié: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
par: Marron, Mark
Publié: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
par: Qiu, Ruidi, et autres
Publié: (2024)

Local Software Buildability across Java Versions (Registered Report)
par: Sulír, Matúš, et autres
Publié: (2024)

Easing Maintenance of Academic Static Analyzers
par: Monat, Raphaël, et autres
Publié: (2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
par: Geng, Chuqin, et autres
Publié: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
par: Wang, Chengpeng, et autres
Publié: (2024)

Enabling Memory Safety of C Programs using LLMs
par: Mohammed, Nausheen, et autres
Publié: (2024)

Verified invertible lexer using regular expressions and DFAs
par: Chassot, Samuel, et autres
Publié: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
par: Rak-amnouykit, Ingkarat, et autres
Publié: (2024)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
par: Ravikumar, Shruthi, et autres
Publié: (2024)

RaceFixer -- An Automated Data Race Fixer
par: Malakar, Sanjay, et autres
Publié: (2024)

On Repairing Quantum Programs Using ChatGPT
par: Guo, Xiaoyu, et autres
Publié: (2024)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
par: Wu, Guanxuan, et autres
Publié: (2024)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
par: Bucev, Mario, et autres
Publié: (2024)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
par: Steffen, Bernhard, et autres
Publié: (2024)

Inferring Non-Failure Conditions for Declarative Programs
par: Hanus, Michael
Publié: (2024)

On the Anatomy of Real-World R Code for Static Analysis
par: Sihler, Florian, et autres
Publié: (2024)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
par: Montesi, Fabrizio, et autres
Publié: (2024)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
par: Arfi, Farid, et autres
Publié: (2024)