B-Repair: Repairing B-Models Using Machine Learning.
Chenghao CaiJing SunGillian DobbiePublished in: ICECCS (2018)
Keyphrases
- machine learning
- machine learning approaches
- decision trees
- machine learning algorithms
- artificial intelligence
- inductive learning
- data analysis
- complex systems
- probabilistic model
- supervised learning
- machine learning models
- neural network
- machine learning methods
- statistical models
- experimental data
- learning systems
- text mining
- prior knowledge
- evolutionary algorithm
- expert systems
- reinforcement learning
- training data
- information systems
- computer vision
- learning algorithm