TY  - RPRT
TI  - SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
AU  - Wasuwee Sodsong
AU  - Bernhard Scholz
AU  - Sanjay Chawla
PY  - 2017
UR  - https://arxiv.org/abs/1711.01024
ID  - 1711.01024
ER  -