Abstract is missing.
- HashC: Making DNNs' Coverage Testing Finer and FasterWeidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun 0002. 3-21 [doi]
- MTUL: Towards Mutation Testing of Unsupervised Learning SystemsYuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun 0002. 22-40 [doi]
- COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model CheckingDennis Gross, Nils Jansen 0001, Sebastian Junges, Guillermo A. PĂ©rez 0001. 41-49 [doi]
- VM Migration and Live-Update for Reliable Embedded HypervisorSiran Li, Lei Wang, Keyang Hu, Ce Mo, Bo Jiang. 53-69 [doi]
- Mastery: Shifted-Code-Aware Structured MergingFengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He 0001. 70-87 [doi]
- KCL: A Declarative Language for Large-Scale Configuration and Policy ManagementXiaodong Du, Pengfei Xu, Zheng Zhang, Shushan Chai, Rui Xia, Zhe Zong. 88-105 [doi]
- EqFix: Fixing LaTeX Equation Errors by ExamplesFengmin Zhu, Fei He 0001. 106-124 [doi]
- Translating CPS with Shared-Variable Concurrency in SpaceExRan Li, Huibiao Zhu, Richard Banach. 127-133 [doi]
- A Contract-Based Semantics and Refinement for SimulinkQuan Sun, Wei Zhang, Chao Wang, Zhiming Liu. 134-148 [doi]
- Decidability of Liveness for Concurrent Objects on the TSO Memory ModelChao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu. 149-165 [doi]
- Integration of Multiple Formal Matrix Models in CoqZhengPu Shi, Gang Chen. 169-186 [doi]
- On-The-Fly Bisimilarity Checking for Fresh-Register AutomataM. H. Bandukara, Nikos Tzevelekos. 187-204 [doi]
- LOGIC: A Coq Library for LogicsYichen Tao, Qinxiang Cao. 205-226 [doi]
- Diversifying a Parallel SAT Solver with Bayesian Moment MatchingVincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh. 227-233 [doi]