Artifacts

This repository contains the artifacts for the paper "Automated Test Generation For Smart Contracts via On-Chain Test Case Augmentation and Migration".

It includes the source code of SolMigrator, datasets collected for analysis and experiment, and the results of the experiments.

Specifically, it includes the following content:

• ./Code/: the source code of SolMigrator, a migration-based tool to generate expressive and function-relevant test cases for Ethereum smart contracts. Please refer to ./Code/README.md for detailed instructions on installation and usage.
• ./Dataset/: dataset collected for analysis and experiment. Please refer to ./Dataset/README.md for detailed information.
• ./Experiments/: the results of the experiments. For detailed information on the results and instructions to replicate the experiments, please see the ./Experiments/README.mdfile.