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