M.Sc. Thesis (Leipzig): Conception and prototypical implementation of an automatic feature extraction system for software product lines using graph-based reasoning Betreuer*in: Philippe Krajsic Bearbeiter*in: Tomi Oni-Orisan