Minsu Kim, Sunbeom So, Hakjoo Oh, "Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios" [doi]