SmarTS: A Java package for smart contract test suite generation and execution

Test suite reduction methods are a current research topic. In particular, continuous practices and regression testing demand minimizing the number of test cases. Recently, many smart contracts have been deployed in blockchain implementations. Due to their immutability, tests play an even more important role in smart contract development. The SmarTS package implements the k+1 test suite reduction method. The developed software generates and runs a minimal set of test cases for the smart contract. The layered construction of the package ensures the ability to test any smart contract whose implementation follows a specific design pattern.