Volume 35, issue 6, November 2020

Preface

Authors (first, second and last of 7)

• Tao Xie
• Zhi Jin
• Li-Jun Zhang

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1231 - 1233

ProSy: API-Based Synthesis with Probabilistic Model

Authors (first, second and last of 5)

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

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1234 - 1257

Learning Human-Written Commit Messages to Document Code Changes

Authors (first, second and last of 6)

• Yuan Huang
• Nan Jia
• Ming-Dong Tang

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1258 - 1277

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

Authors (first, second and last of 5)

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

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1278 - 1294

Reachability of Patterned Conditional Pushdown Systems

Authors (first, second and last of 4)

• Xin Li
• Patrick Gardy
• Hiroyuki Seki

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1295 - 1311

Specification and Verification of the Zab Protocol with TLA+

Authors

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

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1312 - 1323

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

Authors (first, second and last of 4)

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

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1324 - 1342

Jupiter Made Abstract, and Then Refined

Authors (first, second and last of 4)

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

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1343 - 1364

Verifying ReLU Neural Networks from a Model Checking Perspective

Authors (first, second and last of 4)

• Wan-Wei Liu
• Fu Song
• Ji Wang

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1365 - 1381

Modular Verification of SPARCv8 Code

Authors

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

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1382 - 1405

Automatic Buffer Overflow Warning Validation

Authors (first, second and last of 5)

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

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1406 - 1427

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

Authors

• Mohammad Y. Mhawish
• Manjari Gupta

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1428 - 1445

Neural Explainable Recommender Model Based on Attributes and Reviews

Authors (first, second and last of 4)

• Yu-Yao Liu
• Bo Yang
• Jing Huang

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1446 - 1460

Topic Modeling Based Warning Prioritization from Change Sets of Software Repository

Authors

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

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1461 - 1479

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1480 - 1483

2020 Author Index

• Content type: Regular Paper
• Published: 30 November 2020
• Pages: 1484 - 1489

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

Authors

• Wei Fu
• Guang-Zhong Xing

• Content type: Erratum
• Published: 30 November 2020
• Pages: 1490 - 1490