View: |
Part 1: Document Description
|
Citation |
|
---|---|
Title: |
Replication Data for: Towards Automated Verification of Smart Contract Fairness |
Identification Number: |
doi:10.21979/N9/0BEVRT |
Distributor: |
DR-NTU (Data) |
Date of Distribution: |
2020-05-27 |
Version: |
1 |
Bibliographic Citation: |
Liu, Ye; Li, Yi; Lin, Shang-Wei, 2020, "Replication Data for: Towards Automated Verification of Smart Contract Fairness", https://doi.org/10.21979/N9/0BEVRT, DR-NTU (Data), V1 |
Citation |
|
Title: |
Replication Data for: Towards Automated Verification of Smart Contract Fairness |
Identification Number: |
doi:10.21979/N9/0BEVRT |
Authoring Entity: |
Liu, Ye (Nanyang Technological University) |
Li, Yi (Nanyang Technological University) |
|
Lin, Shang-Wei (Nanyang Technological University) |
|
Software used in Production: |
FairCon |
Distributor: |
DR-NTU (Data) |
Access Authority: |
Li, Yi |
Depositor: |
Li, Yi |
Date of Deposit: |
2020-05-25 |
Holdings Information: |
https://doi.org/10.21979/N9/0BEVRT |
Study Scope |
|
Keywords: |
Computer and Information Science, Computer and Information Science, Smart contract, Fairness, Program verification |
Abstract: |
Software artifacts created for the paper titled "Towards Automated Verification of Smart Contract Fairness" accepted at FSE'20. |
Kind of Data: |
Dataset of Solidity smart contract code |
Kind of Data: |
Raw experiment results of FairCon |
Notes: |
To obtain a copy of the FairCon tool used with the dataset, please go to: https://github.com/ntu-SRSLab/FairCon or follow the instructions provided in Obtain_FairCon.md |
Methodology and Processing |
|
Sources Statement |
|
Data Access |
|
Other Study Description Materials |
|
Related Studies |
|
<a href="https://github.com/ntu-SRSLab/FairCon">https://github.com/ntu-SRSLab/FairCon</a> |
|
Related Publications |
|
Citation |
|
Bibliographic Citation: |
Liu, Y., Li, Y., Lin, S.-W., & Zhao, R. (2020, November). Towards Automated Verification of Smart Contract Fairness. Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE) |
Label: |
faircon_data.tar |
Text: |
Tarball containing contract code and raw console logs from the experiments. |
Notes: |
application/x-tar |
Label: |
Obtain_FairCon.md |
Text: |
Information on how to obtain FairCon. |
Notes: |
text/markdown |
Label: |
README.md |
Text: |
Information about the dataset usage. |
Notes: |
text/markdown |