Learning stateful preconditions modulo a test generator.
Angello AstorgaP. MadhusudanShambwaditya SahaShiyu WangTao XiePublished in: PLDI (2019)
Keyphrases
- learning algorithm
- learning process
- active learning
- learning tasks
- mobile learning
- learning systems
- learning scheme
- inductive learning
- online learning
- knowledge acquisition
- empirical studies
- explanation based learning
- data sets
- learning analytics
- learning experience
- supervised learning
- prior knowledge
- reinforcement learning
- case study
- website
- feature selection
- information systems
- artificial intelligence