Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software. - Rohini Bisht; Selomie Kindu Ejigu; Gregory Gay 002; Predrag Filipovikj (ICSTW, 2023)