@misc{Fruth2002ueberwachung,
  title = "\"Uberwachung von Java-Programmen mittels Java PathFinder",
  author = "Matthias Fruth",
  year = "2002",
  note = "Bachelor thesis. TU Dresden, Germany.",
}