@misc{indiciae7542438c26ff,
  title = {Code Coverage Aware Test Generation Using Constraint Solver},
  author = {Krystof Sykora and Bestoun S. Ahmed and Miroslav Bures},
  year = {2020},
  url = {https://arxiv.org/abs/2009.02915},
  note = {Source identifier: 2009.02915}
}