From Faults via Test Purposes to Test Cases: on the Fault-based Testing of Concurrent Systems

Bernhard Aichernig, Carlo Corrales

Publikation: Konferenzbeitrag › (Altdaten) Vortrag oder Präsentation

Suchergebnisse

  • Laufend

    Formale Methoden

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

    1/01/95 → …

    Projekt: Arbeitsgebiet