Parallel ReCal Supplementary material

Parallel ReCal Supplementary material

Citation Author(s):
Giovanni
Denaro
Submitted by:
Giovanni Denaro
Last updated:
Thu, 11/07/2019 - 12:37
DOI:
10.21227/hwxc-cf61
Data Format:
License:
Dataset Views:
32
Share / Embed Cite

CATEGORIES

KEYWORDS

Abstract: 

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>.sexpr

 

File _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.

Instructions: 

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>.sexpr

 

File _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.

Dataset Files

You must be an IEEE Dataport Subscriber to access these files. Login or subscribe now. Sign up to be a Beta Tester and receive a coupon code for a free subscription to IEEE DataPort!

Documentation

AttachmentSize
Plain text icon _README.txt958 bytes

Embed this dataset on another website

Copy and paste the HTML code below to embed your dataset:

Share via email or social media

Click the buttons below:

facebooktwittermailshare
[1] Giovanni Denaro, "Parallel ReCal Supplementary material", IEEE Dataport, 2019. [Online]. Available: http://dx.doi.org/10.21227/hwxc-cf61. Accessed: Nov. 19, 2019.
@data{hwxc-cf61-19,
doi = {10.21227/hwxc-cf61},
url = {http://dx.doi.org/10.21227/hwxc-cf61},
author = {Giovanni Denaro },
publisher = {IEEE Dataport},
title = {Parallel ReCal Supplementary material},
year = {2019} }
TY - DATA
T1 - Parallel ReCal Supplementary material
AU - Giovanni Denaro
PY - 2019
PB - IEEE Dataport
UR - 10.21227/hwxc-cf61
ER -
Giovanni Denaro. (2019). Parallel ReCal Supplementary material. IEEE Dataport. http://dx.doi.org/10.21227/hwxc-cf61
Giovanni Denaro, 2019. Parallel ReCal Supplementary material. Available at: http://dx.doi.org/10.21227/hwxc-cf61.
Giovanni Denaro. (2019). "Parallel ReCal Supplementary material." Web.
1. Giovanni Denaro. Parallel ReCal Supplementary material [Internet]. IEEE Dataport; 2019. Available from : http://dx.doi.org/10.21227/hwxc-cf61
Giovanni Denaro. "Parallel ReCal Supplementary material." doi: 10.21227/hwxc-cf61