Software Testing Design Techniques Used in Automated Vehicle Simulations | IEEE Conference Publication | IEEE Xplore