A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry | IEEE Conference Publication | IEEE Xplore