@misc{indiciae0dd3e56b7cb1,
  title = {Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution)},
  author = {Eti Chaudhary and Saurabh Joshi},
  year = {2019},
  doi = {10.1007/978-3-030-17502-3\_20},
  url = {https://arxiv.org/abs/1903.02309},
  note = {Source identifier: 1903.02309}
}