Online appendix for the AGSolT paper submitted to the IEEE Transactions on Reliability, the paper is currenlty available on arXiv.
The test suites that were generated as part of the experiment for the paper can be found in the Results function and the code for the DynaMOSA and Fuzzer approach can be found in the corresponding folders.
The easiest way to try out the tool is to download the dynamosadocker.tar and or fuzzerdocker.tar files from Google drive.
These can be used in conjunction with docker using the commands:
docker load < fuzzerdocker.tar
docker load < dynamosadocker.tar
docker run -it fuzzer:1.1.8
docker run -it dynamosa:1.1.8
The file structure in the docker image is the same as the DynaMOSA and Fuzzer folders in this git repository. To generate tests for a smart contract, simply copy the relevant smart contract folder from the SmartContracts/RWContracts folder to the SmartContracts/BatchContracts folder and run:
./Generate_Tests.sh
The configuration options for AGSolT can be changed in the Config.ini file. And the relevant options to be changed can be found either in table 3 of the paper, or by quickly looking at the Tracklist.