Parallel ReCal Supplementary material
收藏IEEE2019-11-07 更新2026-04-17 收录
下载链接：
https://ieee-dataport.org/documents/parallel-recal-supplementary-material
下载链接
链接失效反馈官方服务：
资源简介：
PURPOSE-------This data package is provided as supplementary material of the paper:“A GPU Approach to Efficiently Reusing Constraint Proofs”, by M. Chen, G. Denaro and M. Pezzè,submitted for evaluation to IEEE Transactions on software engineering, Nov. 2019.STRUCTURE---------The data package consists of 24 files:- a file named _README.txt: this file- a file named _programs.txt- 22 files named program_name.sexprFile _programs.txt lists subject programs used in the experiments discussed in the paper. For each subject program, the file indicates an online reference where the code of the program can be found.Each file named program_name.sexpr reports the QFLIA constraints that we considered for each subject program. Specifically, in each experiment, we executed a subject program with symbolic execution, and monitored the constraints (the ones in the file) sent to the constraint solver during the analysis of that program.
创建时间：
2019-11-07
