@mastersthesis{Mertens2003,
  author      = {Sven Mertens},
  title       = {Erweiterung des automatischen Testsystems AUSTERE},
  year        = {2003},
}