-
Maintenance Testing of Mixed-Signal Boards
In the context of maintenance and diagnosis of faulty boards, we introduce a functional FSM-based model for mixed-signal circuits. We target effi cient test sequences... -
Test Generation from UML/OCL Model for involving critical system
This thesis is focused on methods and approaches taking into account the evolution in case of UML/OCL model-based test generation. In this framework I am studying... -
Engineering Functional Requirements of Reactive Systems using Synchronous Lan...
International audience
