Skip to main navigation Skip to search Skip to main content

Mutation-based test-case generation for Event-B

    Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

    Period5 Jun 2018
    Event titleRodin Workshop 2018
    Event typeOther
    Degree of RecognitionInternational

    Research Field

    • Dependable Systems Engineering