EN
LOGIN
REGISTER
×
Logging off
All data generated by the account on the platform will be deleted after logout.
Journal of Computer Science and Technology
ISSN 1000-9000
e-ISSN 1860-4749
CN 11-2296/TP
Editor-in-Chief: Zhi-Wei Xu
Journal Home
Articles & Issues
Articles & Issues
Latest Issue
All Issues
×
New Search
Advanced Search
Journal Alert
Journal of Computer Science and Technology
Alert type: Latest Issue
Frequency:
As published
Alert type: Online First
Frequency:
Month
Week
Day
RSS feed for
Journal of Computer Science and Technology
Paste the URL in your RSS reader:
https://www.sciopen.com/journal/rss/1000-9000
Link copied
复制
Journal Home
>
Previous Issue
Previous Issue
Previous Issue
Next Issue
All Issues
Cover
Cover
Volume 35
Issue 6,
November
2020
pp.1231-1479
14 articles
Contents(PDF)
Special Section on Software Systems 2020 — Part 2
Editorial
Preface
Tao Xie, Zhi Jin, Xuan-Dong Li,
[...],
Gang Huang, Hausi A. Muller, Jun Pang,
Li-Jun Zhang
<< Fewer
https://doi.org/10.1007/s11390-020-0006-4
Published: 30 November 2020
2020, 35 (6): 1231-1233
Regular Paper
ProSy: API-Based Synthesis with Probabilistic Model
Bin-Bin Liu, Wei Dong, Jia-Xin Liu,
[...],
Ya-Ting Zhang,
Dai-Yan Wang
<< Fewer
https://doi.org/10.1007/s11390-020-0520-4
Published: 30 November 2020
2020, 35 (6): 1234-1257
Regular Paper
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
<< Fewer
https://doi.org/10.1007/s11390-020-0496-0
Published: 30 November 2020
2020, 35 (6): 1258-1277
Regular Paper
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
<< Fewer
https://doi.org/10.1007/s11390-020-0526-y
Published: 30 November 2020
2020, 35 (6): 1278-1294
Regular Paper
Reachability of Patterned Conditional Pushdown Systems
Xin Li, Patrick Gardy, Yu-Xin Deng,
Hiroyuki Seki
https://doi.org/10.1007/s11390-020-0541-z
Published: 30 November 2020
2020, 35 (6): 1295-1311
Regular Paper
Specification and Verification of the Zab Protocol with TLA+
Jia-Qi Yin, Hui-Biao Zhu, Yuan Fei
https://doi.org/10.1007/s11390-020-0538-7
Published: 30 November 2020
2020, 35 (6): 1312-1323
Regular Paper
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
https://doi.org/10.1007/s11390-020-0537-8
Published: 30 November 2020
2020, 35 (6): 1324-1342
Regular Paper
Jupiter Made Abstract, and Then Refined
Heng-Feng Wei, Rui-Ze Tang, Yu Huang,
Jian Lv
https://doi.org/10.1007/s11390-020-0516-0
Published: 30 November 2020
2020, 35 (6): 1343-1364
Regular Paper
Verifying ReLU Neural Networks from a Model Checking Perspective
Wan-Wei Liu, Fu Song, Tang-Hao-Ran Zhang,
Ji Wang
https://doi.org/10.1007/s11390-020-0546-7
Published: 30 November 2020
2020, 35 (6): 1365-1381
Regular Paper
Modular Verification of SPARCv8 Code
Jun-Peng Zha, Xin-Yu Feng, Lei Qiao
https://doi.org/10.1007/s11390-020-0536-9
Published: 30 November 2020
2020, 35 (6): 1382-1405
Regular Paper
Automatic Buffer Overflow Warning Validation
Feng-Juan Gao, Yu Wang, Lin-Zhang Wang,
[...],
Zijiang Yang,
Xuan-Dong Li
<< Fewer
https://doi.org/10.1007/s11390-020-0525-z
Published: 30 November 2020
2020, 35 (6): 1406-1427
Regular Paper
Predicting Code Smells and Analysis of Predictions: Using Machine Learning Techniques and Software Metrics
Mohammad Y. Mhawish, Manjari Gupta
https://doi.org/10.1007/s11390-020-0323-7
Published: 30 November 2020
2020, 35 (6): 1428-1445
Regular Paper
Regular Paper
Neural Explainable Recommender Model Based on Attributes and Reviews
Yu-Yao Liu, Bo Yang, Hong-Bin Pei,
Jing Huang
https://doi.org/10.1007/s11390-020-0152-8
Published: 30 November 2020
2020, 35 (6): 1446-1460
Regular Paper
Topic Modeling Based Warning Prioritization from Change Sets of Software Repository
Jung-Been Lee, Taek Lee, Hoh Peter In
https://doi.org/10.1007/s11390-020-0047-8
Published: 30 November 2020
2020, 35 (6): 1461-1479
Cover
Click to view the article
Download original image