@misc{indiciaeda5055de5e16,
  title = {Verification of Sequential Circuits by Tests-As-Proofs Paradigm},
  author = {Eugene Goldberg and Mitesh Jain and Panagiotis Manolios},
  year = {2013},
  url = {https://arxiv.org/abs/1308.0583},
  note = {Source identifier: 1308.0583}
}