ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts.
Pengcheng ZhangJianan YuShunhui JiPublished in: CoRR (2020)
Keyphrases
- test generation
- test case generation
- data flow
- test cases
- software testing
- control flow
- test data generation
- genetic algorithm ga
- genetic algorithm
- object oriented
- database machine
- static analysis
- object oriented software
- test suite
- software development
- object oriented systems
- supply chain
- fitness function
- optimization method
- evolutionary algorithm
- database
- systolic array
- premature convergence
- software maintenance
- query language
- design process
- particle swarm optimization
- simulated annealing