Barta Ágnes OData support

Theses

Solving model-based constraint satisfaction problems using SMT prover

Dr. Szatmári Zoltán (MIT)
BSc degree, computer science and engineering programme, 2013-2014 Autumn

Model-driven test data generation for autonomous systems

Dr. Szatmári Zoltán (MIT)
MSc degree, computer science and engineering programme, 2015-2016 Spring