Metamorphic Testing of an Automated Parking System: An Experience Report. - Dave Towey; Zepei Luo; Ziqi Zheng; Peijian Zhou; Junbo Yang; Puttipatt Ingkasit; Changyang Lao; Matthew Pike; Yifan Zhang (COMPSAC, 2023)