@MASTERSTHESIS{Fuchs2013BA, author = {Anna Fuchs}, title = {Automated File System Correctness and Performance Regression Tests}, school = {Universität Hamburg, Fachbereich Informatik}, year = {2013}, type = {Bachelorarbeit}, address = {Vogt-Kölln-Str. 30, 22527 Hamburg, Germany}, month = {8} }