Learn More
In October 2013, autochthonous dengue fever was diagnosed in a laboratory technician in Bouches-du-Rhone, southern France, a department colonised by Aedes albopictus since 2010. After ruling out occupational contamination, we identified the likely chain of local vector-borne transmission from which the autochthonous case arose. Though limited, this second(More)
In 2010, the Provence-Alpes-Côte d'Azur region in France has been experiencing a measles outbreak with at least 310 cases among the general population, which included 28 cases among healthcare workers (9% of all reported cases). There is, however, substantial underreporting in the notification systems of cases in both populations.
A reactive system reacts to an environment it tries to control. Lurette is a black-box testing tool for such closed-loop systems. It focuses on environment modeling using Lutin, a language designed to perform guided random exploration of the System Under Test (SUT) environment, taking into account the feedback. The test decision is automated using Lustre(More)
  • 1