A quantitative study on automatic validation of the diagnostic services of Electronic Control Units | IEEE Conference Publication | IEEE Xplore