CertiFail at the ICST 2025 Tool Competition - Self-Driving Car Testing Track. - Fasih Munir Malik; Sajad Mazraeh Khatiri (ICST, 2025)