paper-conference

DafnyFix: Single-Transformation Automated Repair in Dafny
Formal verification using verification-aware languages, like Dafny, ensures a program’s conformance to its specification. Assuming a …
PDF Code
Déjà Vu? Redundant Dependencies in Terraform
Infrastructure as Code (IaC) enables practitioners to provision cloud infrastructure through declarative specifications. In Terraform, …
PDF Code Dataset
DSpec2Test: Specification-Driven Test Generation in Dafny
Verification-aware languages, such as Dafny, integrate logical constructs into code and enable automatic verification of program …
PDF Code Dataset Video
ProofPulse: Interactive Proof Coverage Analysis for Dafny
Deductive verification ensures that an implementation satisfies its specification, but successful verification does not guarantee the …
PDF Code Dataset Video
Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
Verification-aware languages, like Dafny, integrate formal specifications directly into source code to enable static correctness …
PDF Code