Systematic Evaluation of Black-Box Checking for Fast Bug Detection. - Bram Pellen; María Belén Rodríguez; Frits W. Vaandrager; Petra van den Bos (CoRR, 2025)