1. Preface

   • Tao Xie
   • Shengchao Qin
   • Ge Li

   Regular Paper 31 January 2022 Pages: 1 - 3

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

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

   Regular Paper 31 January 2022 Pages: 4 - 28

3. DeltaFuzz: Historical Version Information Guided Fuzz Testing

   • Jia-Ming Zhang
   • Zhan-Qi Cui
   • Jian-Bin Liu

   Regular Paper 31 January 2022 Pages: 29 - 49

4. TOAST: Automated Testing of Object Transformers in Dynamic Software Updates

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

   Regular Paper 31 January 2022 Pages: 50 - 66

5. Characterizing and Detecting Gas-Inefficient Patterns in Smart Contracts

   • Que-Ping Kong
   • Zi-Yan Wang
   • Gang Huang

   Regular Paper 31 January 2022 Pages: 67 - 82

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

   • Jin-Chi Chen
   • Yi Qin
   • Chang Xu

   Regular Paper 31 January 2022 Pages: 83 - 105

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

   • Wen-Hua Yang
   • Min-Xue Pan
   • Zhi-Qiu Huang

   Regular Paper 31 January 2022 Pages: 106 - 127

8. Checking Causal Consistency of MongoDB

   • Hong-Rong Ouyang
   • Heng-Feng Wei
   • Yu Huang

   Regular Paper 31 January 2022 Pages: 128 - 146

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

   • Jun Ma
   • Qing-Wei Sun
   • Xian-Ping Tao

   Regular Paper 31 January 2022 Pages: 147 - 181

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

    • Zi-Jie Huang
    • Zhi-Qing Shao
    • Kang Yang

    Regular Paper 31 January 2022 Pages: 182 - 206

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

    • Ning Bao
    • Yun-Peng Chai
    • Chuan-Wen Wang

    Regular Paper 31 January 2022 Pages: 207 - 230

12. Correlated Differential Privacy of Multiparty Data Release in Machine Learning

    • Jian-Zhe Zhao
    • Xing-Wei Wang
    • Yu-Chen Li

    Regular Paper 31 January 2022 Pages: 231 - 251

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

    • Xiao-Wei Feng
    • Xiang-Yu Kong
    • Dong-Hui Xu

    Regular Paper 31 January 2022 Pages: 252 - 265

14. A Blockchain-Based Protocol for Malicious Price Discrimination

    • Li-De Xue
    • Ya-Jun Liu
    • Liu-Sheng Huang

    Regular Paper 31 January 2022 Pages: 266 - 276