Jixiang Zhou Mingfei Cheng Shuncheng Tang An Guo 0002 Xiaofei Xie Yinxing Xue Lijun Zhang 0001 OdoTest: An Automated Testing Approach for Odometry Systems. 2720-2743 2026 3 Proc. ACM Softw. Eng. FSE https://doi.org/10.1145/3808128 db/journals/pacmse/pacmse3.html#ZhouCTGXXZ26