Metamorphic Testing of an Automated Parking System: An Experience Report | IEEE Conference Publication | IEEE Xplore