1. Preface

   • Tao Xie
   • Zhi Jin
   • Li-Jun Zhang

   Regular Paper 30 November 2020 Pages: 1231 - 1233

2. ProSy: API-Based Synthesis with Probabilistic Model

   • Bin-Bin Liu
   • Wei Dong
   • Dai-Yan Wang

   Regular Paper 30 November 2020 Pages: 1234 - 1257

3. Learning Human-Written Commit Messages to Document Code Changes

   • Yuan Huang
   • Nan Jia
   • Ming-Dong Tang

   Regular Paper 30 November 2020 Pages: 1258 - 1277

4. Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers

   • Yi-Sen Xu
   • Xiang-Yang Jia
   • Ji-Feng Xuan

   Regular Paper 30 November 2020 Pages: 1278 - 1294

5. Reachability of Patterned Conditional Pushdown Systems

   • Xin Li
   • Patrick Gardy
   • Hiroyuki Seki

   Regular Paper 30 November 2020 Pages: 1295 - 1311

6. Specification and Verification of the Zab Protocol with TLA+

   • Jia-Qi Yin
   • Hui-Biao Zhu
   • Yuan Fei

   Regular Paper 30 November 2020 Pages: 1312 - 1323

7. Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow

   • Qian-Qian Lin
   • Shu-Ling Wang
   • Bin Gu

   Regular Paper 30 November 2020 Pages: 1324 - 1342

8. Jupiter Made Abstract, and Then Refined

   • Heng-Feng Wei
   • Rui-Ze Tang
   • Jian Lv

   Regular Paper 30 November 2020 Pages: 1343 - 1364

9. Verifying ReLU Neural Networks from a Model Checking Perspective

   • Wan-Wei Liu
   • Fu Song
   • Ji Wang

   Regular Paper 30 November 2020 Pages: 1365 - 1381

10. Modular Verification of SPARCv8 Code

    • Jun-Peng Zha
    • Xin-Yu Feng
    • Lei Qiao

    Regular Paper 30 November 2020 Pages: 1382 - 1405

11. Automatic Buffer Overflow Warning Validation

    • Feng-Juan Gao
    • Yu Wang
    • Xuan-Dong Li

    Regular Paper 30 November 2020 Pages: 1406 - 1427

12. Predicting Code Smells and Analysis of Predictions: Using Machine Learning Techniques and Software Metrics

    • Mohammad Y. Mhawish
    • Manjari Gupta

    Regular Paper 30 November 2020 Pages: 1428 - 1445

13. Neural Explainable Recommender Model Based on Attributes and Reviews

    • Yu-Yao Liu
    • Bo Yang
    • Jing Huang

    Regular Paper 30 November 2020 Pages: 1446 - 1460

14. Topic Modeling Based Warning Prioritization from Change Sets of Software Repository

    • Jung-Been Lee
    • Taek Lee
    • Hoh Peter In

    Regular Paper 30 November 2020 Pages: 1461 - 1479

15. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY

    Regular Paper 30 November 2020 Pages: 1480 - 1483

16. 2020 Author Index

    Regular Paper 30 November 2020 Pages: 1484 - 1489

17. Retraction Note: Edge-Oriented Spatial Interpolation for Error Concealment of Consecutive Blocks

    • Wei Fu
    • Guang-Zhong Xing

    Erratum 30 November 2020 Pages: 1490 - 1490