Volume 37, Number 1, February 2022
A Blockchain-Based Protocol for Malicious Price Discrimination.

Li-De Xue Ya-Jun Liu Wei Yang Wei-Lin Chen Liusheng Huang

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

Xiao-Wei Feng Xiang-Yu Kong Chuan He Donghui Xu

Correlated Differential Privacy of Multiparty Data Release in Machine Learning.

Jian-Zhe Zhao Xing-Wei Wang Keming Mao Chen-Xi Huang Yu-Kai Su Yu-Chen Li

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

Ning Bao Yunpeng Chai Xiao Qin Chuanwen Wang

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

Zijie Huang Zhiqing Shao Guisheng Fan Huiqun Yu Xingguang Yang Kang Yang

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

Jun Ma Qingwei Sun Chang Xu XianPing Tao

Checking Causal Consistency of MongoDB.

Hongrong Ouyang Heng-Feng Wei Hai-Xiang Li An-Qun Pan Yu Huang

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

Wenhua Yang Minxue Pan Yu Zhou Zhi-Qiu Huang

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

Jin-Chi Chen Yi Qin Huiyan Wang Chang Xu

Characterizing and Detecting Gas-Inefficient Patterns in Smart Contracts.

Queping Kong Zi-Yan Wang Yuan Huang Xiangping Chen Xiao-Cong Zhou Zibin Zheng Gang Huang

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

Zelin Zhao Di Huang Xiaoxing Ma

DeltaFuzz: Historical Version Information Guided Fuzz Testing.

Jia-Ming Zhang Zhanqi Cui Xiang Chen Huanhuan Wu Li-Wei Zheng Jian-Bin Liu

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

Inès Mouakher Fatma Dhaou J. Christian Attiogbé

Preface.

Tao Xie Shengchao Qin Wenhui Zhang Jun Sun Lei Bu Ge Li