The following pages link to 20240045791. System and method for generating failing tests from failed proofs simplified abstract (Rolos AG):