@misc{indiciae13413e019a29,
  title = {Prioritized Variable-length Test Cases Generation for Finite State Machines},
  author = {Vaclav Rechtberger and Miroslav Bures and Bestoun S. Ahmed and Youcef Belkhier and Jiri Nema and Hynek Schvach},
  year = {2022},
  url = {https://arxiv.org/abs/2203.09596},
  note = {Source identifier: 2203.09596}
}