Learning Techniques for Software Verification and Validation.
Corina S. PasareanuMihaela Gheorghiu BobaruPublished in: ISoLA (1) (2012)
Keyphrases
- learning systems
- learning algorithm
- learning process
- concept learning
- learning problems
- empirical studies
- online learning
- object recognition
- metadata
- similarity measure
- image sequences
- case study
- evolutionary algorithm
- supervised learning
- information systems
- unsupervised learning
- real world
- learning tasks
- neural network
- learning scenarios
- database