Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification Inès MouakherFatma DhaouJ. Christian Attiogbé Regular Paper 31 January 2022 Pages: 4 - 28
DeltaFuzz: Historical Version Information Guided Fuzz Testing Jia-Ming ZhangZhan-Qi CuiJian-Bin Liu Regular Paper 31 January 2022 Pages: 29 - 49
TOAST: Automated Testing of Object Transformers in Dynamic Software Updates Ze-Lin ZhaoDi HuangXiao-Xing Ma Regular Paper 31 January 2022 Pages: 50 - 66
Characterizing and Detecting Gas-Inefficient Patterns in Smart Contracts Que-Ping KongZi-Yan WangGang Huang Regular Paper 31 January 2022 Pages: 67 - 82
Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments Jin-Chi ChenYi QinChang Xu Regular Paper 31 January 2022 Pages: 83 - 105
Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems Wen-Hua YangMin-Xue PanZhi-Qiu Huang Regular Paper 31 January 2022 Pages: 106 - 127
Checking Causal Consistency of MongoDB Hong-Rong OuyangHeng-Feng WeiYu Huang Regular Paper 31 January 2022 Pages: 128 - 146
GridDroid—An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface Jun MaQing-Wei SunXian-Ping Tao Regular Paper 31 January 2022 Pages: 147 - 181
Community Smell Occurrence Prediction on Multi-Granularity by Developer-Oriented Features and Process Metrics Zi-Jie HuangZhi-Qing ShaoKang Yang Regular Paper 31 January 2022 Pages: 182 - 206
MacroTrend: A Write-Efficient Cache Algorithm for NVM-Based Read Cache Ning BaoYun-Peng ChaiChuan-Wen Wang Regular Paper 31 January 2022 Pages: 207 - 230
Correlated Differential Privacy of Multiparty Data Release in Machine Learning Jian-Zhe ZhaoXing-Wei WangYu-Chen Li Regular Paper 31 January 2022 Pages: 231 - 251
On the Discrete-Time Dynamics of Cross-Coupled Hebbian Algorithm Xiao-Wei FengXiang-Yu KongDong-Hui Xu Regular Paper 31 January 2022 Pages: 252 - 265
A Blockchain-Based Protocol for Malicious Price Discrimination Li-De XueYa-Jun LiuLiu-Sheng Huang Regular Paper 31 January 2022 Pages: 266 - 276