Guiding Automated Test Case Generation for Transaction-Reverting Statements in Smart Contracts

Type
Publication
The 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022)