@misc{indiciae9a5a2fc23f32,
  title = {Random Generation of Small Quantitative Automata for Algorithm Debugging},
  author = {Mikael Bisgaard Dahlsen-Jensen and Jaco van de Pol},
  year = {2026},
  doi = {10.1007/978-3-032-30693-7\_13},
  url = {https://arxiv.org/abs/2607.12170},
  note = {Source identifier: 2607.12170}
}