This is the Lab3 report by Mazdak and Tobias in the Testing, Debugging and Verification course at CTH.
