Automated test program generation for automotive devices | IEEE Conference Publication | IEEE Xplore