Generative Approaches -- From Tests to Proofs -- Test Input Generation for Programs with