Real name: 
Congratulations!  You have been automatically subscribed to IEEE DataPort and can access all datasets on IEEE DataPort!
First Name: 
Giovanni
Last Name: 
Denaro

Datasets & Competitions

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

 

Categories:
103 Views