Program
The program of the Summer School is the following:
Monday
Tuesday
Wednesday
Thursday
Friday
8h
9h
10h
11h
12h
13h
14h
15h
16h
17h
18h
19h
20h
All lectures will take place in the "Mont d'or" seminar room.
Breakfasts, lunches, and dinners will be taken in the Restaurant of the Azureva Center (1st floor).
Coffee breaks will be served at the bar or in terrasse, depending on the weather.
Intro talks
Intro talks are short introductory talks (no more than 10 minutes/5 slides including questions) given by PhD students to introduce themselves and their PhD dissertation subject. This kind of presentation is recommended for PhD participants who never attended this summer school before.
List of intro talks:
- Afef Jmal Maalej - Model-Based Conformance Testing of Web Services Compositions under Various Load Conditions [Slides]
- Ali Khalili - Verification of Robot Control Software [Slides]
- Ana Belen Sanchez Jerez - Automated testing on variability-intensive systems [Slides]
- Antoine Rollet - Enforcement of timed properties
- Elizabeta Fourneret - Model-Based Testing for Evolving Critical Systems [Slides]
- Fabien Duchene - XSS vulnerability detection using model inference assisted evolutionary fuzzing [Slides]
- Fitsum Meshesha Kifetew - Search-Based Failure Reproduction [Slides]
- Hernan Ponce de Leon - Testing Concurrent Systems Through Event Structures [Slides]
- Natalia Kushik - Adaptative Experiments with Nondeterministic Finite State Machines [Slides]
- Onder Gurcan - Automated Testing of Agent-Based Simulation Models [Slides]
- Pramila Mouttappa - An IOSTS based Passive Testing Approach for the Validation of data-centric Protocols [Slides]
- Till Fischer - Software-Aware Testing of Embedded Systems [Slides]
- Valentin Chimisliu - Test Generation from Asyncrhonously Communicating Statecharts [Slides]
Posters
Poster presentations make it possible, for all participants, to present their research work (in particular, research projects) using a poster as a communication support. Posters will be displayed in the main lecture room. A special session will be organized during the week, in which people can meet the poster authors and discuss face-to-face with them.
List of posters:
- Onder Gurcan - Automated Testing of Agent-Based Simulation Models
- Meriam Lahami - Runtime Testing Framework for Adaptable and Distributed Systems
- Michael Felderer and Philipp Zech - Testing @ QE
- Rafik Kheddam - On-Line Test and Diagnosis of RFID Systems [Slides]
- Dima Hamdan - Dependability of wireless sensor networks
- Kalou Cabrera - Security Testing in the TASCCC Project [Slides]
- Elizabeta Fourneret - The SecureChange Project [Slides]
- Fabrice Bouquet, Pierre-Christophe Bué, Frederic Dadeau and Jonathan Lasalle - 12 years of Research on Model-Based Testing at Femto-ST [Slides]
- Fabien Duchene - XSS vulnerability detection using model inference assisted evolutionary fuzzing [Slides]
Tool demonstrations
Testing tool demonstrations are also planned during the week. A dedicated session will be organized during the week, along with the posters, so that the tool presenters can give a demo during a face-to-face discussion with interested people.
List of tool demonstrations:
- Julien Botella - Smartesting CertifyIt
- Wissam Mallouli and Edgardo Montes de Oca - Montimage Monitoring Tool