@techreport{MuellerLK2003GlassTTA,
  author = {R A Müller and C Lembeck and H Kuchen},
  title = {GlassTT --- A Symbolic Java Virtual Machine using Constraint Solving Techniques for Glass-Box Test Case Generation},
  institution = {Institut für Wirtschaftsinformatik, WWU Münster},
  series = {Arbeitsberichte des Instituts für Wirtschaftsinformatik},
  number = {102},
  volume = {102},
  editor = {J Becker and H-L Grob and S Klein and H Kuchen and U Müller-Funk and G Vossen},
  year = {2003},
  address = {Münster},
  note = {Publication status: Published}
}