Buchumschlag

Program Structure Aware Precondition Generation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dinella, Elizabeth, Lahiri, Shuvendu, Naik, Mayur
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
von: Lahiri, Shuvendu K.
Veröffentlicht: (2024)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
von: Endres, Madeline, et al.
Veröffentlicht: (2023)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2024)

Ranking LLM-Generated Loop Invariants for Program Verification
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2023)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
von: Lahiri, Shuvendu K.
Veröffentlicht: (2026)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
von: Wang, Claire, et al.
Veröffentlicht: (2025)

On the Effectiveness of Modular Testing in EvoSuite
von: Dinella, Elizabeth
Veröffentlicht: (2026)

ClassInvGen: Class Invariant Synthesis using Large Language Models
von: Sun, Chuyue, et al.
Veröffentlicht: (2025)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
von: Khare, Avishree, et al.
Veröffentlicht: (2023)

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
von: Fakhoury, Sarah, et al.
Veröffentlicht: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

Concept-Based Generic Programming in C++
von: Stroustrup, Bjarne
Veröffentlicht: (2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
von: Oliveira, Francisco, et al.
Veröffentlicht: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
von: Ren, Xiaoning, et al.
Veröffentlicht: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
von: Cui, Baoquan, et al.
Veröffentlicht: (2025)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
von: Ates, Berke, et al.
Veröffentlicht: (2026)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
von: Shree, Iti, et al.
Veröffentlicht: (2025)

MathDuels: Evaluating LLMs as Problem Posers and Solvers
von: Xu, Zhiqiu, et al.
Veröffentlicht: (2026)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
von: Fayed, Mahmoud Samir
Veröffentlicht: (2025)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

An Incremental Algorithm for Algebraic Program Analysis
von: Zhou, Chenyu, et al.
Veröffentlicht: (2024)

LLM-Guided Compositional Program Synthesis
von: Khan, Ruhma, et al.
Veröffentlicht: (2025)

Challenges of Multilingual Program Specification and Analysis
von: Furia, Carlo A., et al.
Veröffentlicht: (2024)

Conceptual Mutation Testing for Student Programming Misconceptions
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2023)

Towards Analyzing N-language Polyglot Programs
von: Prakash, Jyoti, et al.
Veröffentlicht: (2026)

On Repairing Quantum Programs Using ChatGPT
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)

Inferring Non-Failure Conditions for Declarative Programs
von: Hanus, Michael
Veröffentlicht: (2024)

CRQBench: A Benchmark of Code Reasoning Questions
von: Dinella, Elizabeth, et al.
Veröffentlicht: (2024)

LPR: Large Language Models-Aided Program Reduction
von: Zhang, Mengxiao, et al.
Veröffentlicht: (2023)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
von: Cirstea, Horatiu, et al.
Veröffentlicht: (2024)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
von: Feng, Qiong, et al.
Veröffentlicht: (2026)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
von: Laguna, Ignacio, et al.
Veröffentlicht: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
von: Szabo, Violet, et al.
Veröffentlicht: (2024)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
von: Wu, Valentina, et al.
Veröffentlicht: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)