@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.