Imanol Allende: Statistical path coverage for non-deterministic complex safety-related software testing. University of Siegen, Germany 2022