Details for the publication LiuCZHHCZY25.

刘宗鑫, 迟智名, 赵梦宇, 黄承超, 黄小炜, 蔡少伟, 张立军, 杨鹏飞: 神经网络的增量验证. In 软件学报 36(8):3444-3461, 2025. DOI BIB