@misc{indiciae331052a20a93,
  title = {Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution},
  author = {Elson Kurian and Daniela Briola and Pietro Braione and Giovanni Denaro},
  year = {2022},
  url = {https://arxiv.org/abs/2209.11138},
  note = {Source identifier: 2209.11138}
}