FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning.
Kaled M. AlshmranyMohannad AldughaimChenfeng WeiTom SweetRichard AllmendingerLucas C. CordeiroPublished in: CoRR (2024)
Keyphrases
- machine learning
- artificial intelligence
- knowledge representation
- pattern recognition
- intelligent systems
- natural language processing
- machine learning algorithms
- computational intelligence
- learning algorithm
- machine learning methods
- expert systems
- inductive logic programming
- active learning
- data mining
- explanation based learning
- feature selection
- computer vision
- learning systems
- learning tasks
- text mining
- knowledge acquisition
- inductive learning
- knowledge discovery
- supervised learning
- case based reasoning
- information extraction
- support vector machine
- training data
- database
- john mccarthy
- ai systems
- computational logic
- text classification
- natural language
- reinforcement learning
- genetic algorithm
- real world