Abstract is missing.
- Translating a Large Subset of Stateflow to Hybrid CSP with Code OptimizationPanhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun. 3-21 [doi]
- DeepGlobal: A Global Robustness Verifiable FNN FrameworkWeidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun 0002. 22-39 [doi]
- Leveraging Event-B Theories for Handling Domain Knowledge in Design ModelsIsmaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque. 40-58 [doi]
- Reasoning About Iteration and Recursion Uniformly Based on Big-Step SemanticsXimeng Li 0003, Qianying Zhang, Guohui Wang, Zhiping Shi 0002, Yong Guan. 61-80 [doi]
- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTPLili Xiao, Huibiao Zhu. 81-101 [doi]
- Formal Analysis of 5G AKMATengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao. 102-121 [doi]
- Verifying the Correctness of Distributed Systems via Mergeable ParallelismTeng Long, Xingtao Ren, Qing Wang, Chao Wang. 122-140 [doi]
- Mutation Testing of Reinforcement Learning SystemsYuteng Lu, Weidi Sun, Meng Sun. 143-160 [doi]
- AIdetectorX: A Vulnerability Detector Based on TCN and Self-attention MechanismJin-Fu Chen 0001, Bo Liu, Saihua Cai, Weijia Wang, Shengran Wang. 161-177 [doi]
- MC/DC Test Cases Generation Based on BDDsFaustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz. 178-197 [doi]
- Predicting and Monitoring Bug-Proneness at the Feature LevelShaozhi Wei, Ran Mo, Pu Xiong, Siyuan Zhang, Yang Zhao, Zengyang Li. 201-218 [doi]
- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and SpectrumYue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang. 219-238 [doi]
- A Distributed Simplex Architecture for Multi-agent SystemsUsama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka. 239-257 [doi]
- $\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential EquationsRuiqi Hu, Meilun Li, Zhikun She. 261-278 [doi]
- ESampler: Efficient Sampling of Satisfying Assignments for Boolean FormulasYongjie Xu, Fu Song, Taolue Chen. 279-298 [doi]
- API Usage Pattern Search Based on Model CheckingXue-er Ding, Jun Niu, Jia Wang. 299-319 [doi]