Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms.
Fang-Yi LoChao-Hong ChenYing-Ping ChenPublished in: CEC (2020)
Keyphrases
- genetic algorithm
- neural network
- multi objective
- evolutionary algorithm
- fuzzy logic
- classifier systems
- evolutionary computation
- simulated annealing
- fitness function
- evolution strategy
- genetic programming
- desirable properties
- test cases
- optimization method
- artificial immune system
- hybrid algorithm
- test set
- metaheuristic
- real time
- artificial neural networks
- machine learning
- databases