We use cookies to improve your experience with our site.
Advanced Search

Preface
Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li
2022, 37(1): 1-3. DOI: 10.1007/s11390-022-0001-z
Abstract
Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification
Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
2022, 37(1): 4-28. DOI: 10.1007/s11390-021-1673-5
Abstract
DeltaFuzz: Historical Version Information Guided Fuzz Testing
Jia-Ming Zhang, Zhan-Qi Cui, Xiang Chen, Huan-Huan Wu, Li-Wei Zheng, Jian-Bin Liu
2022, 37(1): 29-49. DOI: 10.1007/s11390-021-1663-7
Abstract
TOAST: Automated Testing of Object Transformers in Dynamic Software Updates
Ze-Lin Zhao, Di Huang, Xiao-Xing Ma
2022, 37(1): 50-66. DOI: 10.1007/s11390-021-1693-1
Abstract
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
2022, 37(1): 67-82. DOI: 10.1007/s11390-021-1674-4
Abstract
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
2022, 37(1): 83-105. DOI: 10.1007/s11390-021-1669-1
Abstract
Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems
Wen-Hua Yang, Min-Xue Pan, Yu Zhou, Zhi-Qiu Huang
2022, 37(1): 106-127. DOI: 10.1007/s11390-021-1484-8
Abstract
Checking Causal Consistency of MongoDB
Hong-Rong Ouyang, Heng-Feng Wei, Hai-Xiang Li, An-Qun Pan, Yu Huang
2022, 37(1): 128-146. DOI: 10.1007/s11390-021-1662-8
Abstract
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
2022, 37(1): 147-181. DOI: 10.1007/s11390-021-1659-3
Abstract
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
2022, 37(1): 182-206. DOI: 10.1007/s11390-021-1596-1
Abstract
MacroTrend: A Write-Efficient Cache Algorithm for NVM-Based Read Cache
Ning Bao, Yun-Peng Chai, Xiao Qin, Chuan-Wen Wang
2022, 37(1): 207-230. DOI: 10.1007/s11390-021-0178-6
Abstract
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
2022, 37(1): 231-251. DOI: 10.1007/s11390-021-1754-5
Abstract
On the Discrete-Time Dynamics of Cross-Coupled Hebbian Algorithm
Xiao-Wei Feng, Xiang-Yu Kong, Chuan He, Dong-Hui Xu
2022, 37(1): 252-265. DOI: 10.1007/s11390-021-0655-y
Abstract
A Blockchain-Based Protocol for Malicious Price Discrimination
Li-De Xue, Ya-Jun Liu, Wei Yang, Wei-Lin Chen, Liu-Sheng Huang
2022, 37(1): 266-276. DOI: 10.1007/s11390-021-0583-x
Abstract