Kövér Márton OData support

Theses

Supporting symbolic execution using graph metrics

Dr. Micskei Zoltán Imre (MIT)
BSc degree, computer science and engineering programme, 2018-2019 Autumn