@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -c '$type = "TECHREPORT"' /Users/michael/svnhome/cv/public_bib/my.bib}}

@techreport{TUD-CS-2009-0184,
  author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and Christian Schallhart and Michael Tautschnig and Helmut Veith and Boris Langer},
  title = {Slope Testing for Activity Diagrams and Safety Critical Software},
  number = {TUD-CS-2009-0184},
  month = {October},
  year = {2009},
  institution = {Technische Universit\"at Darmstadt}
}

@techreport{TUD-CS-2009-0149,
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and   Helmut Veith},
  title = {Dependency Coverage Criteria with {FQL}},
  number = {TUD-CS-2009-0149},
  year = {2009},
  institution = {Technische Universit\"at Darmstadt}
}

@techreport{holzer:schallhart:tautschnig:veith:TUD-CS-2009-0148,
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and   Helmut Veith},
  title = {A Precise Specification Framework for White Box Program Testing},
  number = {TUD-CS-2009-0148},
  month = {September},
  year = {2009},
  institution = {Technische Universit\"at Darmstadt}
}

@techreport{tum-i0716,
  author = {Christian K{\"u}hnel and Andreas Bauer and Michael Tautschnig},
  title = {Compatibility and reuse in component-based systems via type and unit inference},
  number = {TUM-I0716},
  month = may,
  year = {2007},
  institution = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
  pdf = {tum-i0716.pdf}
}

@techreport{holzer:schallhart:tautschnig:veith:vmcai09techreport,
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and   Helmut Veith},
  title = {Query-Driven Program Testing},
  number = {TUD-CS-2008-1013},
  month = oct,
  year = {2008},
  institution = {Technische Universit\"at Darmstadt}
}

@techreport{tum-i0714,
  author = {Stefan Kugele and Michael Tautschnig and Andreas Bauer and Christian Schallhart and Stefano Merenda and Wolfgang Haberl and Christian K{\"u}hnel and Florian M{\"uller} and Zhonglei Wang and Doris Wild and Sabine Rittmann and Martin Wechs},
  title = {{COLA} -- The component language},
  number = {TUM-I0714},
  month = sep,
  year = {2007},
  institution = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
  pdf = {tum-i0714.pdf}
}

This file was generated by bibtex2html 1.99.