1 | -- | 3 | Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun 0001, Lei Bu, Ge Li. Preface |
4 | -- | 28 | Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé. Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification |
29 | -- | 49 | Jia-Ming Zhang, Zhanqi Cui, Xiang Chen 0005, Huanhuan Wu, Li-Wei Zheng, Jian-Bin Liu. DeltaFuzz: Historical Version Information Guided Fuzz Testing |
50 | -- | 66 | Zelin Zhao, Di Huang, Xiaoxing Ma. TOAST: Automated Testing of Object Transformers in Dynamic Software Updates |
67 | -- | 82 | Queping Kong, Zi-Yan Wang, Yuan Huang 0002, Xiangping Chen, Xiao-cong Zhou, Zibin Zheng, Gang Huang. Characterizing and Detecting Gas-Inefficient Patterns in Smart Contracts |
83 | -- | 105 | Jin-Chi Chen, Yi Qin, Huiyan Wang, Chang Xu 0001. Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments |
106 | -- | 127 | Wenhua Yang 0001, Minxue Pan, Yu Zhou 0010, Zhi-qiu Huang. Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems |
128 | -- | 146 | Hongrong Ouyang, Heng-Feng Wei, Hai-xiang Li, An-Qun Pan, Yu Huang. Checking Causal Consistency of MongoDB |
147 | -- | 181 | Jun Ma 0010, Qingwei Sun, Chang Xu 0001, XianPing Tao. GridDroid - An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface |
182 | -- | 206 | Zijie Huang 0001, Zhiqing Shao, Guisheng Fan, Huiqun Yu, Xingguang Yang, Kang Yang. Community Smell Occurrence Prediction on Multi-Granularity by Developer-Oriented Features and Process Metrics |
207 | -- | 230 | Ning Bao, Yunpeng Chai, Xiao Qin 0001, Chuanwen Wang. MacroTrend: A Write-Efficient Cache Algorithm for NVM-Based Read Cache |
231 | -- | 251 | Jian-Zhe Zhao, Xing-wei Wang, Keming Mao, Chen-Xi Huang, Yu-Kai Su, Yu-Chen Li. Correlated Differential Privacy of Multiparty Data Release in Machine Learning |
252 | -- | 265 | Xiao-Wei Feng, Xiang-Yu Kong, Chuan He, Donghui Xu. On the Discrete-Time Dynamics of Cross-Coupled Hebbian Algorithm |
266 | -- | 276 | Li-De Xue, Ya-Jun Liu, Wei Yang, Wei-Lin Chen, Liusheng Huang. A Blockchain-Based Protocol for Malicious Price Discrimination |