Improving Symbolic Automata Learning with Concolic Execution.
Donato ClunPhillip van HeerdenAntonio FilieriWillem VisserPublished in: FASE (2020)
Keyphrases
- case study
- learning algorithm
- associative learning
- learning process
- genetic algorithm
- inductive learning
- incremental learning
- background knowledge
- learning systems
- empirical studies
- connectionist networks
- reinforcement learning
- decision trees
- learning scheme
- neural learning
- real time
- connectionist systems
- knowledge acquisition
- active learning
- learning environment
- high level
- information systems