ProSy: API-Based Synthesis with Probabilistic Model Bin-Bin LiuWei DongDai-Yan Wang Regular Paper 30 November 2020 Pages: 1234 - 1257
Learning Human-Written Commit Messages to Document Code Changes Yuan HuangNan JiaMing-Dong Tang Regular Paper 30 November 2020 Pages: 1258 - 1277
Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers Yi-Sen XuXiang-Yang JiaJi-Feng Xuan Regular Paper 30 November 2020 Pages: 1278 - 1294
Reachability of Patterned Conditional Pushdown Systems Xin LiPatrick GardyHiroyuki Seki Regular Paper 30 November 2020 Pages: 1295 - 1311
Specification and Verification of the Zab Protocol with TLA+ Jia-Qi YinHui-Biao ZhuYuan Fei Regular Paper 30 November 2020 Pages: 1312 - 1323
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow Qian-Qian LinShu-Ling WangBin Gu Regular Paper 30 November 2020 Pages: 1324 - 1342
Jupiter Made Abstract, and Then Refined Heng-Feng WeiRui-Ze TangJian Lv Regular Paper 30 November 2020 Pages: 1343 - 1364
Verifying ReLU Neural Networks from a Model Checking Perspective Wan-Wei LiuFu SongJi Wang Regular Paper 30 November 2020 Pages: 1365 - 1381
Modular Verification of SPARCv8 Code Jun-Peng ZhaXin-Yu FengLei Qiao Regular Paper 30 November 2020 Pages: 1382 - 1405
Automatic Buffer Overflow Warning Validation Feng-Juan GaoYu WangXuan-Dong Li Regular Paper 30 November 2020 Pages: 1406 - 1427
Predicting Code Smells and Analysis of Predictions: Using Machine Learning Techniques and Software Metrics Mohammad Y. MhawishManjari Gupta Regular Paper 30 November 2020 Pages: 1428 - 1445
Neural Explainable Recommender Model Based on Attributes and Reviews Yu-Yao LiuBo YangJing Huang Regular Paper 30 November 2020 Pages: 1446 - 1460
Topic Modeling Based Warning Prioritization from Change Sets of Software Repository Jung-Been LeeTaek LeeHoh Peter In Regular Paper 30 November 2020 Pages: 1461 - 1479
Retraction Note: Edge-Oriented Spatial Interpolation for Error Concealment of Consecutive Blocks Wei FuGuang-Zhong Xing Erratum 30 November 2020 Pages: 1490 - 1490