@misc{indiciae8b195ee58879,
  title = {SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction},
  author = {Susmit Jha and Sanjit A. Seshia},
  year = {2013},
  url = {https://arxiv.org/abs/1302.1920},
  note = {Source identifier: 1302.1920}
}