Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation | IEEE Conference Publication | IEEE Xplore