Systems Development -- Translating a Large Subset of State ow to Hybrid CSP with Code Optimization -- DeepGlobal: a Global Robustness Verifiable FNN Framework -- Leveraging Event-B Theories for handling domain knowledge in design models -- Program Analysis and Verification -- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics -- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP -- Formal Analysis of 5G AKMA -- Verifying the Correctness of Distributed Systems via Mergeable Parallelism -- Testing and Fault Detection -- Mutation Testing of Reinforcement Learning Systems -- AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism -- MC/DC Test Cases Generation based on BDDs -- Software Quality -- Predicting and Monitoring Bug-proneness at The Feature Level -- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum -- A Distributed Simplex Architecture for Multi-Agent Systems -- Satisfiability, Reachability and Model Checking -- OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations -- ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas -- API Usage Pattern Search Based on Model Checking.