data.zip (343.1 kB)
Dataset for "Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning" paper
Download (343.1 kB) This item is shared privately
dataset
modified on 2019-06-23, 03:18 This is the dataset for "Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning" paper. It contains test subjects, test cases, and verification results. It also contains specifications generated by the tool Infer.
