Learning Component Interfaces with May and Must Abstractions.
Rishabh SinghDimitra GiannakopoulouCorina S. PasareanuPublished in: CAV (2010)
Keyphrases
- learning process
- learning algorithm
- online learning
- reinforcement learning
- high level
- machine learning
- inductive learning
- learning tasks
- learning systems
- user interface
- case study
- decision trees
- database systems
- domain knowledge
- knowledge acquisition
- empirical studies
- information retrieval
- neural network
- concept learning
- learning community