Co-Evolution of Model-Based Tests for Industrial Automotive Software | IEEE Conference Publication | IEEE Xplore