scripts.zip (300.25 kB)

bdd-spec-files-survey-scripts-and-dataset

This item is shared privately

online resource

modified on 2022-01-02, 22:01

This resource contains a JSON file with data used to report the results in the corresponding paper and various scripts to produce those results.

Keywords