ploration of the System Under Test (SUT) environment, taking into account the feedback. ... advantage of the partners complementarity to set up a development framework based ..... connect our languages APIs to the Atos SCADA. ..... uses python oracles to automate the test decision, although Lustre is arguably better for.