@misc{saletta2021mining,
  title={Mining Program Properties From Neural Networks Trained on Source Code Embeddings},
  author={Martina Saletta and Claudio Ferretti},
  year={2021},
  eprint={2103.05442},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/2103.05442}
}