theses_seifermann.bib

@mastersthesis{seifermann2014a,
  author = {Stephan Seifermann},
  school = {Karlsruhe Institute of Technology (KIT), Germany},
  title = {Model-Driven Co-Evolution of Contracts, Unit-Tests and Source-Code},
  year = {2014},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2014a.pdf}
}