TY - RPRT TI - Mining Program Properties From Neural Networks Trained on Source Code Embeddings AU - Martina Saletta AU - Claudio Ferretti PY - 2021 UR - https://arxiv.org/abs/2103.05442 ID - 2103.05442 ER -