Data Flow Reduction Based Test Case Generation for Smart Contracts.
Shunhui JiShaoqing ZhuPengcheng ZhangHai DongPublished in: APSEC (2022)
Keyphrases
- data flow
- test case generation
- test cases
- object oriented systems
- software testing
- control flow
- database machine
- object oriented
- test data generation
- data transfer
- test suite
- digital signal processing
- supply chain
- systolic array
- object oriented software
- static analysis
- software engineering
- feature space
- database
- training set
- multi agent
- real world