Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

1995 …2022

Publikationen pro Jahr

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.
Filter
Beitrag in Buch/Bericht

Suchergebnisse

  • 2018

    Model Learning and Model-Based Testing

    Aichernig, B., Mostowski, W., Mousavi, M. R., Tappler, M. & Taromirad, M., 20 Juli 2018, Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Bennaceur, A., Hähnle, R. & Meinke, K. (Hrsg.). Cham: Springer Nature, S. 74 - 100 27 S. (Lecture Notes in Computer Science; Band 11026).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtBegutachtung

  • 2010

    A systematic introduction to mutation testing in unifying theories of programming

    Aichernig, B., 2010, Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. 1 Aufl. ., Band 6153. S. 243-287 (LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/Bericht

  • 2006

    On the Semantics of Componentware: a Coalgebraic Perspective

    Barbosa, L. S., Meng, S., Aichernig, B. & Rodrigues, N., 2006, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. 1 Aufl. World Scientific, Band 2. S. 69-118 (Series on Component-Based Software Development).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/Bericht