Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning.
Hao YuYiling LouKe SunDezhi RanTao XieDan HaoYing LiGe LiQianxiang WangPublished in: ICSE (2022)
Keyphrases
- deep learning
- information retrieval
- unsupervised learning
- unsupervised feature learning
- machine learning
- weakly supervised
- restricted boltzmann machine
- information extraction
- text mining
- question answering
- mental models
- deep architectures
- pattern recognition
- knowledge discovery
- dimensionality reduction
- training data
- computer vision