bugcov-benchs-for-5.4

· 논문 1편

slopt_magma_jsons.tar.gz contains the summary of the Magma benchmark (Section 5.4) as JSON files, which was generated by exp2json.py.