ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts.
Pengcheng ZhangJianan YuShunhui JiPublished in: ICSE (Workshops) (2020)
Keyphrases
- data flow
- test case generation
- genetic algorithm ga
- test cases
- database machine
- software testing
- object oriented systems
- genetic algorithm
- test data generation
- control flow
- object oriented
- object oriented software
- test suite
- fitness function
- multi objective
- systolic array
- java programs
- hybrid algorithm
- static analysis
- differential evolution
- simulated annealing
- supply chain
- evolutionary algorithm
- crossover operator
- data sets
- particle swarm optimization pso
- evolutionary search
- error rate
- feature selection
- neural network