Statically-Directed Assertion Recommendation for C Programs.
Cong WangLe KangRenwei ZhangWeiliang YinPublished in: COMPSAC (1) (2019)
Keyphrases
- recommender systems
- collaborative filtering
- recommendation systems
- artificial intelligence
- social networks
- information overload
- real time
- user preferences
- information technology
- music retrieval
- cold start
- computer programs
- information filtering
- expert systems
- search algorithm
- multi agent
- case study
- machine learning
- data sets