Copertina

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Gehao, Zhai, Juan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Breaking the Myth: Can Small Models Infer Postconditions Too?
di: Zhang, Gehao, et al.
Pubblicazione: (2025)

Beyond Code Generation: Assessing Code LLM Maturity with Postconditions
di: He, Fusen, et al.
Pubblicazione: (2024)

SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference
di: Le, Cuong Chi, et al.
Pubblicazione: (2026)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
di: Endres, Madeline, et al.
Pubblicazione: (2023)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
di: Richter, Cedric, et al.
Pubblicazione: (2025)

REPOFUSE: Repository-Level Code Completion with Fused Dual Context
di: Liang, Ming, et al.
Pubblicazione: (2024)

FlexFL: Flexible and Effective Fault Localization with Open-Source Large Language Models
di: Xu, Chuyang, et al.
Pubblicazione: (2024)

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications
di: Misu, Md Rakib Hossain, et al.
Pubblicazione: (2026)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
di: Huang, Zhechong, et al.
Pubblicazione: (2026)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
di: Yu, Hao, et al.
Pubblicazione: (2025)

SWE-Cycle: Benchmarking Code Agents across the Complete Issue Resolution Cycle
di: Guan, Hao, et al.
Pubblicazione: (2026)

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
di: Herbold, Steffen, et al.
Pubblicazione: (2025)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
di: Tan, Max
Pubblicazione: (2026)

TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark
di: Jain, Kush, et al.
Pubblicazione: (2024)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
di: Zhang, Liao, et al.
Pubblicazione: (2026)

Formal Methods Meets Readability: Auto-Documenting JML Java Code
di: Abad, Juan Carlos Recio, et al.
Pubblicazione: (2025)

An Agile Formal Specification Language Design Based on K Framework
di: Zhang, Jianyu, et al.
Pubblicazione: (2024)

Does Your Neural Code Completion Model Use My Code? A Membership Inference Approach
di: Wan, Yao, et al.
Pubblicazione: (2024)

Software Engineering as a Domain to Formalize
di: Meyer, Bertrand
Pubblicazione: (2025)

Formal Synthesis of Uncertainty Reduction Controllers
di: Carwehl, Marc, et al.
Pubblicazione: (2024)

CITADEL: Context Similarity Based Deep Learning Framework Bug Finding
di: Zhang, Xiaoyu, et al.
Pubblicazione: (2024)

When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference
di: Sun, Zhensu, et al.
Pubblicazione: (2024)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
di: Li, Hui, et al.
Pubblicazione: (2025)

Effective Code Membership Inference for Code Completion Models via Adversarial Prompts
di: Jiang, Yuan, et al.
Pubblicazione: (2025)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
di: Lanzinger, Florian, et al.
Pubblicazione: (2024)

Formally Verified Binary-level Pointer Analysis
di: Verbeek, Freek, et al.
Pubblicazione: (2025)

Towards a DSL to Formalize Multimodal Requirements
di: Gomez-Vazquez, Marcos, et al.
Pubblicazione: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
di: Johansson, Bjarne, et al.
Pubblicazione: (2024)

Towards Bridging Formal Methods and Human Interpretability
di: Paul, Abhijit, et al.
Pubblicazione: (2025)

Formalizing Operational Design Domains with the Pkl Language
di: Skoglund, Martin, et al.
Pubblicazione: (2025)

A Lightweight Framework for Adaptive Retrieval In Code Completion With Critique Model
di: Zhang, Wenrui, et al.
Pubblicazione: (2024)

Completion by Comprehension: Guiding Code Generation with Multi-Granularity Understanding
di: Zhao, Xinkui, et al.
Pubblicazione: (2025)

RLCoder: Reinforcement Learning for Repository-Level Code Completion
di: Wang, Yanlin, et al.
Pubblicazione: (2024)

Prompt-based Code Completion via Multi-Retrieval Augmented Generation
di: Tan, Hanzhuo, et al.
Pubblicazione: (2024)

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
di: Lu, Xu, et al.
Pubblicazione: (2025)

Can Large Language Models Model Programs Formally?
di: Chen, Zhiyong, et al.
Pubblicazione: (2026)

Formalizing Regression Testing for Agile and Continuous Integration Environments
di: Das, Suddhasvatta, et al.
Pubblicazione: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
di: Chatterjee, Bodhisatwa, et al.
Pubblicazione: (2025)

DI-BENCH: Benchmarking Large Language Models on Dependency Inference with Testable Repositories at Scale
di: Zhang, Linghao, et al.
Pubblicazione: (2025)

Benchmarking Correctness and Security in Multi-Turn Code Generation
di: Rawal, Ruchit, et al.
Pubblicazione: (2025)