Contents

Preface CHEN Zhen-Bang, FENG Xin-Yu, LIU Zhi-Ming Published August 06, 2020 (2 pages) 2020,31(8):2283-2284 [Abstract(1324)]  [View PDF(3307)297.73 K]

Algorithms for Solving Algebraic Degree and Its Applications to SIMON-like Algorithms REN Jiong-Jiong, LI Hang, LIN Jian, CHEN Shao-Zhen Published August 06, 2020 (12 pages) 2020,31(8):2453-2464 [Abstract(1276)]  [View PDF(3323)1.23 M]

Joint Model for Sentiment Analysis and Review Quality Detection with User and Product Representations WU Fan, WANG Zhong-Qing, ZHOU Xia-Bing, ZHOU Guo-Dong Published August 06, 2020 (16 pages) 2020,31(8):2492-2507 [Abstract(1799)]  [View PDF(3647)1.69 M]

Crowdsourcing Test Method for Android Applications Based on Recording/Replay CAO Yu-Zhong, WU Guo-Quan, CHEN Wei, WEI Jun, HUANG Tao, WANG Su Published August 06, 2020 (22 pages) 2020,31(8):2508-2529 [Abstract(2699)]  [View PDF(7418)1.43 M]

Latent Sparse Representation Classification Algorithm Based on Symmetric Positive Definite Manifold CHEN Kai-Xuan, WU Xiao-Jun Published August 06, 2020 (13 pages) 2020,31(8):2530-2542 [Abstract(1373)]  [View PDF(2990)1.32 M]

Optimization of Keyword-aware Optimal Route Query on Large-scale Road Networks HAO Jin-Yao, NIU Bao-Ning, KANG Jia-Xing Published August 06, 2020 (14 pages) 2020,31(8):2543-2556 [Abstract(1443)]  [View PDF(3491)1.50 M]

Private Data Protection Scheme for Consortium Blockchain Based on Two-layer Cooperation CAI Liang, Duan Hao, YAN Meng, XIA Xin Published August 06, 2020 (17 pages) 2020,31(8):2557-2573 [Abstract(3064)]  [View PDF(5755)799.22 K]

Medical Image Segmentation Using Semi-supervised Conditional Generative Adversarial Nets LIU Shao-Peng, HONG Jia-Ming, LIANG Jie-Peng, JIA Xi-Ping, OUYANG Jia, YIN Jian Published August 06, 2020 (15 pages) 2020,31(8):2588-2602 [Abstract(2400)]  [View PDF(5163)1.80 M]

Special Issue's Articles

Specification Language for Packet Parsers and Its Compiler Architecture LI Huang-Hua, LI Ling, ZHAO Yu, WANG Sheng-Yuan, LI Xiang-Yu Published August 06, 2020 (24 pages) 2020,31(8):2285-2308 [Abstract(2783)]  [View PDF(5987)2.72 M]

High-order Typed Verifiable Application System Architecture Modelling and Its Case LI Xiao-Ping, WUNIRI Qi-Qi-Ge, MA Shi-Long, LÜ Jiang-Hua Published August 06, 2020 (27 pages) 2020,31(8):2309-2335 [Abstract(2689)]  [View PDF(7001)3.00 M]

TPaxos Consensus Protocol in PaxosStore: Derivation, Specification, and Refinement YI Xing-Chen, WEI Heng-Feng, HUANG Yu, QIAO Lei, LÜ Jian Published August 06, 2020 (26 pages) 2020,31(8):2336-2361 [Abstract(2878)]  [View PDF(5728)6.30 M]

Formal Modeling and Verification of Paxos Based on Coq LI Ya-Nan, DENG Yu-Xin, LIU Jing Published August 06, 2020 (13 pages) 2020,31(8):2362-2374 [Abstract(2754)]  [View PDF(6233)1.30 M]

Operating System Task Management Requirements Layer Modeling and Verification Based on Coq JIANG Jing-Jing, QIAO Lei, YANG Meng-Fei, YANG Hua, LIU Bo Published August 06, 2020 (13 pages) 2020,31(8):2375-2387 [Abstract(2908)]  [View PDF(6149)1.30 M]

Bounded Model Checking Liveness on Basic Parallel Processes TAN Jin-Hao, LI Guo-Qiang Published August 06, 2020 (16 pages) 2020,31(8):2388-2403 [Abstract(2782)]  [View PDF(4987)1.69 M]

Review Articles

Survey of Machine Learning Enabled Software Self-adaptation ZHANG Ming-Yue, JIN Zhi, ZHAO Hai-Yan, LUO Yi-Xing Published August 06, 2020 (28 pages) 2020,31(8):2404-2431 [Abstract(4247)]  [View PDF(7888)1.17 M]

Research Progress on Software Bug Localization Technology Based on Information Retrieval ZHANG Yun, LIU Jia-Kun, XIA Xin, WU Ming-Hui, YAN Hui Published August 06, 2020 (21 pages) 2020,31(8):2432-2452 [Abstract(3516)]  [View PDF(7407)794.97 K]

Dimensional Speech Emotion Recognition Review LI Hai-Feng, CHEN Jing, MA Lin, BO Hong-Jian, XU Cong, LI Hong-Wei Published August 06, 2020 (27 pages) 2020,31(8):2465-2491 [Abstract(3556)]  [View PDF(11251)968.01 K]

State-of-the-art Survey of Intent-based Networking LI Fu-Liang, FAN Guang-Yu, WANG Xing-Wei, LIU Shu-Cheng, XIE Kun, SUN Qiong Published August 06, 2020 (14 pages) 2020,31(8):2574-2587 [Abstract(4408)]  [View PDF(11145)591.56 K]

Survey on Performance Analysis, Optimization, and Applications of Heterogeneous Fusion Processors ZHANG Feng, ZHAI Ji-Dong, CHEN Zheng, LIN Jia-Zao, DU Xiao-Yong Published August 06, 2020 (22 pages) 2020,31(8):2603-2624 [Abstract(3787)]  [View PDF(6720)499.03 K]