Search for dissertations about: "Cyrille Artho"

Found 2 swedish dissertations containing the words Cyrille Artho.

  2. 1. Combining Static and Dynamic Analysis to Find Multi-threading Faults Beyond Data Races

    Author : Cyrille Artho; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  4. 2. Model-based System Testing of Safety-Critical Embedded Software

    Author : Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu; Cyrille Artho; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : System-level testing of safety-critical embedded systems is complex and costly. MBT has shown promising results in terms of fault detection effectiveness and efficiency of test generation and execution. However, the industrial adoption of MBT approaches is slow and limited to specific industries and domains. READ MORE