EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).
Facundo MolinaPablo PonzioNazareno AguirreMarcelo F. FriasPublished in: ICSE (Companion Volume) (2021)
Keyphrases
- evolutionary algorithm
- learning algorithm
- reinforcement learning
- learning process
- simulated annealing
- incremental learning
- support vector
- online learning
- learning systems
- learning problems
- inductive inference
- data mining
- learning community
- evolutionary computation
- mobile learning
- background knowledge
- unsupervised learning
- training data