Property-Based Testing of Separation Logic Specifications
Author:
Open Access
- 3 October 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 6-8
Abstract
No abstract availableFunding Information
- National Science Foundation (2402449)
This publication has 12 references indexed in Scilit:
- Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs2025
- Bennet: Randomized Specification Testing for Heap-Manipulating ProgramsProceedings of the ACM on Programming Languages, 2025
- FANDANGO: Evolving Language-Based TestingProceedings of the ACM on Software Engineering, 2025
- Fulminate: Testing CN Separation-Logic Specifications in CProceedings of the ACM on Programming Languages, 2025
- Property-Based Testing in Practice2024
- CN: Verifying Systems C Code with Separation-Logic Refinement TypesProceedings of the ACM on Programming Languages, 2023
- Input invariants2022
- Natural proofs for data structure manipulation in C using separation logic2014
- VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java2011
- QuickCheck2000