From faults via test purposes to test cases: on the fault-based testing of concurrent systems

Bernhard Aichernig, Carlo Corrales Delgado

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Suchergebnisse

  • Laufend

    Formale Methoden

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Projekt: Arbeitsgebiet