Semantic Mutation Testing Semantic Mutation Testing John A. Clark, Haitao Dan, Robert M Hierons An example: cruise control Question What happens in no_vehicle_in_front if…
