1. Penumbra:Automatically IdentifyingFailure-Relevant InputsJames Clause and Alessandro OrsoCollege of ComputingGeorgia Institute of TechnologySupported in part by:NSF awards…