TY - RPRT TI - Path-Based Function Embedding and its Application to Specification Mining AU - Daniel DeFreez AU - Aditya V. Thakur AU - Cindy Rubio-González PY - 2018 UR - https://arxiv.org/abs/1802.07779 ID - 1802.07779 ER -