一作ACL 2026Findings· Findings of ACL
POSTCONDBENCH : Benchmarking Correctness and Completeness in Formal Postcondition Inference
Gehao Zhang · Juan Zhai
摘要
Formal postconditions precisely characterize program behavior and support debugging, testing, and verification, but writing them requires substantial expertise and effort. This has motivated recent work on automatically generating postconditions from code and natural-language artifacts using larg...