| 299 | -- | 300 | Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock. Editorial |
| 301 | -- | 323 | Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu 0001, Xin Chen 0027, Xuandong Li. Machine learning steered symbolic execution framework for complex software code |
| 325 | -- | 341 | Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong. SDLV: Verification of Steering Angle Safety for Self-Driving Cars |
| 343 | -- | 384 | Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu. Exploiting augmented intelligence in the modeling of safety-critical autonomous systems |
| 385 | -- | 406 | Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang. Inferring Switched Nonlinear Dynamical Systems |
| 407 | -- | 435 | Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001. Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation |
| 437 | -- | 455 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock. Learning safe neural network controllers with barrier certificates |
| 457 | -- | 458 | Michele Loreti. Semantics of the probabilistic Lambda Calculus By Dirk Draheim |