An Overview of Resilient and Automatic Model-Based Testing Approaches for Automotive Industry | IEEE Conference Publication | IEEE Xplore