Daikon Invariant Study Raw Data
Raw data for Understanding User Understanding: Determining Correctness of Generated Program Invariants.
staats-KAIST-invar-study-data.zip
—
ZIP archive,
700 kB (717143 bytes)
