Journal of Computer Science and Technology

ISSN 1000-9000 e-ISSN 1860-4749 CN 11-2296/TP

Editor-in-Chief: Zhi-Wei Xu

Articles & Issues

Advanced Search

Previous Issue

Previous Issue

Next Issue

All Issues

Volume 37

Issue 1, January 2022

pp.1-276 14 articles

Contents(PDF)

Special Section of Software Systems 2021

Regular Paper

Preface

Tao Xie, Shengchao Qin, Wenhui Zhang, [...], Jun Sun, Lei Bu, Ge Li << Fewer

https://doi.org/10.1007/s11390-022-0001-z

Published: 31 January 2022

2022, 37 (1): 1-3

Theme: Dependable Software Engineering

Regular Paper

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification

Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé

https://doi.org/10.1007/s11390-021-1673-5

Published: 31 January 2022

2022, 37 (1): 4-28

Regular Paper

DeltaFuzz: Historical Version Information Guided Fuzz Testing

Jia-Ming Zhang, Zhan-Qi Cui, Xiang Chen, [...], Huan-Huan Wu, Li-Wei Zheng, Jian-Bin Liu << Fewer

https://doi.org/10.1007/s11390-021-1663-7

Published: 31 January 2022

2022, 37 (1): 29-49

Theme: Internetware and Beyond

Regular Paper

TOAST: Automated Testing of Object Transformers in Dynamic Software Updates

Ze-Lin Zhao, Di Huang, Xiao-Xing Ma

https://doi.org/10.1007/s11390-021-1693-1

Published: 31 January 2022

2022, 37 (1): 50-66

Regular Paper

Characterizing and Detecting Gas-Inefficient Patterns in Smart Contracts

Que-Ping Kong, Zi-Yan Wang, Yuan Huang, [...], Xiang-Ping Chen, Xiao-Cong Zhou, Zi-Bin Zheng, Gang Huang << Fewer

https://doi.org/10.1007/s11390-021-1674-4

Published: 31 January 2022

2022, 37 (1): 67-82

Regular Paper

Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments

Jin-Chi Chen, Yi Qin, Hui-Yan Wang, Chang Xu

https://doi.org/10.1007/s11390-021-1669-1

Published: 31 January 2022

2022, 37 (1): 83-105

Regular Paper

Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems

Wen-Hua Yang, Min-Xue Pan, Yu Zhou, Zhi-Qiu Huang

https://doi.org/10.1007/s11390-021-1484-8

Published: 31 January 2022

2022, 37 (1): 106-127

Regular Paper

Checking Causal Consistency of MongoDB

Hong-Rong Ouyang, Heng-Feng Wei, Hai-Xiang Li, [...], An-Qun Pan, Yu Huang << Fewer

https://doi.org/10.1007/s11390-021-1662-8

Published: 31 January 2022

2022, 37 (1): 128-146

Regular Paper

GridDroid—An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface

Jun Ma, Qing-Wei Sun, Chang Xu, Xian-Ping Tao

https://doi.org/10.1007/s11390-021-1659-3

Published: 31 January 2022

2022, 37 (1): 147-181

Regular Paper

Community Smell Occurrence Prediction on Multi-Granularity by Developer-Oriented Features and Process Metrics

Zi-Jie Huang, Zhi-Qing Shao, Gui-Sheng Fan, [...], Hui-Qun Yu, Xing-Guang Yang, Kang Yang << Fewer

https://doi.org/10.1007/s11390-021-1596-1

Published: 31 January 2022

2022, 37 (1): 182-206

Regular Paper

MacroTrend: A Write-Efficient Cache Algorithm for NVM-Based Read Cache

Ning Bao, Yun-Peng Chai, Xiao Qin, Chuan-Wen Wang

https://doi.org/10.1007/s11390-021-0178-6

Published: 31 January 2022

2022, 37 (1): 207-230

Regular Paper

Correlated Differential Privacy of Multiparty Data Release in Machine Learning

Jian-Zhe Zhao, Xing-Wei Wang, Ke-Ming Mao, [...], Chen-Xi Huang, Yu-Kai Su, Yu-Chen Li << Fewer

https://doi.org/10.1007/s11390-021-1754-5

Published: 31 January 2022

2022, 37 (1): 231-251

Regular Paper

On the Discrete-Time Dynamics of Cross-Coupled Hebbian Algorithm

Xiao-Wei Feng, Xiang-Yu Kong, Chuan He, Dong-Hui Xu

https://doi.org/10.1007/s11390-021-0655-y

Published: 31 January 2022

2022, 37 (1): 252-265

Regular Paper

A Blockchain-Based Protocol for Malicious Price Discrimination

Li-De Xue, Ya-Jun Liu, Wei Yang, [...], Wei-Lin Chen, Liu-Sheng Huang << Fewer

https://doi.org/10.1007/s11390-021-0583-x

Published: 31 January 2022

2022, 37 (1): 266-276