Publications
Gall, editors, Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, volume 11812 of Lecture Notes in Computer Science, pages [...] Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings, volume 9707 of Lecture Notes in Computer Science, pages 32–49