Artificial Intelligence Techniques in the Testing of the Automotive Software - Sroka, Michal, 1987- (2017)