Kubriczky Ádám OData support

Theses

Supporting testing using the KLEE test generator

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