Verification and Testing Practicals 2013/14, Roland Barta, Markus Plieschnegger