Skip to content

Jiashuo-Zhang/SolMigrator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published