@misc{Bender2010,
  author    = {Markus Bender},
  title     = {Generating efficient test oracles from specifications},
  institution = {Institut f{\"u}r Informatik},
  type      = {studythesis},
  pages     = {51},
  year        = {2010},
}