Ausgabe 1/2022
February 5, 2022
Inhalt (14 Artikel)
Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification
Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé
DeltaFuzz: Historical Version Information Guided Fuzz Testing
Jia-Ming Zhang, Zhan-Qi Cui, Xiang Chen, Huan-Huan Wu, Li-Wei Zheng, Jian-Bin Liu
TOAST: Automated Testing of Object Transformers in Dynamic Software Updates
Ze-Lin Zhao, Di Huang, Xiao-Xing Ma
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
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
Meaningful Update and Repair of Markov Decision Processes for Self-Adaptive Systems
Wen-Hua Yang, Min-Xue Pan, Yu Zhou, Zhi-Qiu Huang
Checking Causal Consistency of MongoDB
Hong-Rong Ouyang, Heng-Feng Wei, Hai-Xiang Li, An-Qun Pan, Yu Huang
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
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
MacroTrend: A Write-Efficient Cache Algorithm for NVM-Based Read Cache
Ning Bao, Yun-Peng Chai, Xiao Qin, Chuan-Wen Wang
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
On the Discrete-Time Dynamics of Cross-Coupled Hebbian Algorithm
Xiao-Wei Feng, Xiang-Yu Kong, Chuan He, Dong-Hui Xu
A Blockchain-Based Protocol for Malicious Price Discrimination
Li-De Xue, Ya-Jun Liu, Wei Yang, Wei-Lin Chen, Liu-Sheng Huang