Counterexample-driven genetic programming without formal specifications.
Thomas HelmuthLee SpectorEdward R. PantridgePublished in: GECCO Companion (2020)
Keyphrases
- genetic programming
- formal specification
- model checking
- temporal logic
- fitness function
- object oriented design
- specification language
- specification languages
- evolutionary computation
- symbolic regression
- process algebra
- formal verification
- formal methods
- evolutionary algorithm
- concurrent systems
- grammar guided genetic programming
- financial forecasting
- reverse engineering
- gene expression programming
- classification rules
- formal specification language
- open source
- neural network
- semantic data models
- xml documents