@misc{indiciae633b1cb5a39a,
  title = {Constraint-Guided Unit Test Generation for Machine Learning Libraries},
  author = {Lukas Krodinger and Altin Hajdari and Stephan Lukasczyk and Gordon Fraser},
  year = {2025},
  url = {https://arxiv.org/abs/2510.09108},
  note = {Source identifier: 2510.09108}
}