1 to 5 of 5 Results
May 23, 2022
Liu, Ye; Li, Yi; Lin, Shang-Wei; Artho, Cyrille, 2022, "Replication Data for: Finding Permission Bugs in Smart Contracts with Role Mining", https://doi.org/10.21979/N9/MBHBCI, DR-NTU (Data), V1
Smart contracts deployed on permissionless blockchains, such as Ethereum, are accessible to any user in a trustless environment. Therefore, most smart contract applications implement access control policies to protect their valuable assets from unauthorized accesses. A difficulty... |
Jul 10, 2021
Wu, Xiuheng; Zhu, Chenguang; Li, Yi, 2021, "Replication Data for: DIFFBASE: A Differential Factbase for Effective Software Evolution Management", https://doi.org/10.21979/N9/JKYYUD, DR-NTU (Data), V1
Numerous tools and techniques have been developed to extract and analyze information from software development artifacts. Yet, there is a lack of effective method to process, store, and exchange information among different analyses. DiffBase provides a uniform exchangeable repres... |
Aug 26, 2020
Du, Xiaoning; Li, Yi; Xie, Xiaofei; Ma, Lei; Liu, Yang; Zhao, Jianjun, 2020, "Supplementary Materials for: Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems", https://doi.org/10.21979/N9/TTTSFK, DR-NTU (Data), V1
This supplementary material contains additional proofs for the paper: "Marble: Model-based Robustness Analysis of Stateful DeepLearning Systems". |
Aug 21, 2020
Zhu, Chenguang; Li, Yi; Rubin, Julia; Chechik, Marsha, 2020, "Replication Data for: GenSlice: Generalized Semantic History Slicing", https://doi.org/10.21979/N9/LPHCUS, DR-NTU (Data), V3
This dataset contains the raw experiment data and replication package for the ICSME'20 paper: "GenSlice: Generalized Semantic History Slicing". The replication package is also available at: https://github.com/Chenguang-Zhu/icsme20-artifact (2020-08-06) |
May 27, 2020
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
Software artifacts created for the paper titled "Towards Automated Verification of Smart Contract Fairness" accepted at FSE'20. |