@misc{indiciaed7be3556f480,
  title = {Systematic Evaluation of Black-Box Checking for Fast Bug Detection},
  author = {Bram Pellen and María Belén Rodríguez and Frits Vaandrager and Petra van den Bos},
  year = {2025},
  url = {https://arxiv.org/abs/2512.07434},
  note = {Source identifier: 2512.07434}
}