Andreas Holzer, Visar Januzaj, Stefan Kugele, Christian Schallhart, Michael Tautschnig, Helmut Veith, and Boris Langer. Slope testing for activity diagrams and safety critical software. Technical Report TUD-CS-2009-0184, Technische Universität Darmstadt, October 2009. [ bib ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. A precise specification framework for white box program testing. Technical Report TUD-CS-2009-0148, Technische Universität Darmstadt, September 2009. [ bib ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Dependency coverage criteria with FQL. Technical Report TUD-CS-2009-0149, Technische Universität Darmstadt, 2009. [ bib ]

 

Andreas Holzer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Query-driven program testing. Technical Report TUD-CS-2008-1013, Technische Universität Darmstadt, October 2008. [ bib ]

 

Stefan Kugele, Michael Tautschnig, Andreas Bauer, Christian Schallhart, Stefano Merenda, Wolfgang Haberl, Christian Kühnel, Florian Müller, Zhonglei Wang, Doris Wild, Sabine Rittmann, and Martin Wechs. COLA -- the component language. Technical Report TUM-I0714, Institut für Informatik, Technische Universität München, September 2007. [ bib | .pdf ]

 

Christian Kühnel, Andreas Bauer, and Michael Tautschnig. Compatibility and reuse in component-based systems via type and unit inference. Technical Report TUM-I0716, Institut für Informatik, Technische Universität München, May 2007. [ bib | .pdf ]

This file was generated by bibtex2html 1.99.