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)
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)
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.