Model-based mutation testing via symbolic refinement checking

Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    OriginalspracheEnglisch
    Seiten (von - bis)383-404
    Seitenumfang22
    FachzeitschriftScience of Computer Programming
    Volume4
    Issue97
    PublikationsstatusVeröffentlicht - 2014

    Research Field

    • Ehemaliges Research Field - Digital Safety and Security

    Diese Publikation zitieren