The paper describes an updated and expanded version of the SmarTS package. Testing now additionally encompasses smart contracts that enable the processing of related transaction types. The SmarTSv2 package implements the k+1 test pattern and retains previous functionality. The updated software generates and runs a minimal set of test cases, including smart contracts with multiple verification rule configurations. The use of an abstraction layer in the package structure allows for testing smart contracts from any business field. In the current version, the class structure in the abstraction layer has been simplified, which shortens the method call path during test execution. Additionally, a consistent test execution mechanism has been provided for both types of smart contracts.
Tomasz Górski (2026) studied this question.