Sökning: "Cyrille Artho"
Hittade 2 avhandlingar innehållade orden Cyrille Artho.
1. Combining Static and Dynamic Analysis to Find Multi-threading Faults Beyond Data Races
Sammanfattning : .... LÄS MER
2. Model-based System Testing of Safety-Critical Embedded Software
Sammanfattning : 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. LÄS MER
Resultatsidor:
1