@misc{indiciaee589cee69bef,
  title = {Novel Strategy Generating Variable-length State Machine Test Paths},
  author = {Vaclav Rechtberger and Miroslav Bures and Bestoun S. Ahmed and Hynek Schvach},
  year = {2022},
  url = {https://arxiv.org/abs/2207.12172},
  note = {Source identifier: 2207.12172}
}