@misc{indiciae9cb1ef0faacf,
  title = {DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration)},
  author = {Lennon Chaves and Iury Bessa and Lucas Cordeiro and Daniel Kroening},
  year = {2017},
  url = {https://arxiv.org/abs/1610.07066},
  note = {Source identifier: 1610.07066}
}