An automatic approach to integration testing for critical automotive software | IEEE Conference Publication | IEEE Xplore