Issue 6/2020
November 28, 2020
Content (17 Articles)
Preface
Tao Xie, Zhi Jin, Xuan-Dong Li, Gang Huang, Hausi A. Muller, Jun Pang, Li-Jun Zhang
ProSy: API-Based Synthesis with Probabilistic Model
Bin-Bin Liu, Wei Dong, Jia-Xin Liu, Ya-Ting Zhang, Dai-Yan Wang
Learning Human-Written Commit Messages to Document Code Changes
Yuan Huang, Nan Jia, Hao-Jie Zhou, Xiang-Ping Chen, Zi-Bin Zheng, Ming-Dong Tang
Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers
Yi-Sen Xu, Xiang-Yang Jia, Fan Wu, Lingbo Li, Ji-Feng Xuan
Reachability of Patterned Conditional Pushdown Systems
Xin Li, Patrick Gardy, Yu-Xin Deng, Hiroyuki Seki
Specification and Verification of the Zab Protocol with TLA+
Jia-Qi Yin, Hui-Biao Zhu, Yuan Fei
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow
Qian-Qian Lin, Shu-Ling Wang, Bo-Hua Zhan, Bin Gu
Verifying ReLU Neural Networks from a Model Checking Perspective
Wan-Wei Liu, Fu Song, Tang-Hao-Ran Zhang, Ji Wang
Automatic Buffer Overflow Warning Validation
Feng-Juan Gao, Yu Wang, Lin-Zhang Wang, Zijiang Yang, Xuan-Dong Li
Predicting Code Smells and Analysis of Predictions: Using Machine Learning Techniques and Software Metrics
Mohammad Y. Mhawish, Manjari Gupta
Neural Explainable Recommender Model Based on Attributes and Reviews
Yu-Yao Liu, Bo Yang, Hong-Bin Pei, Jing Huang
Topic Modeling Based Warning Prioritization from Change Sets of Software Repository
Jung-Been Lee, Taek Lee, Hoh Peter In
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
2020 Author Index
Retraction Note: Edge-Oriented Spatial Interpolation for Error Concealment of Consecutive Blocks
Wei Fu, Guang-Zhong Xing