, A Model Checking Based Approach for Detecting SDN Races, p.194
and Djamal Zeghlache Security and Performance Testing Towards an Efficient Performance Testing Through Dynamic Workload Adaptation ,
242 Georges Ouffoué, Fatiha Zaïdi, and Ana R. Cavalli Industrial Applications Automatic Generation of Test Oracles from Component Based Software Architectures, Attack Tolerance for Services ,
,
270 Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli, Brecht Vermeulen, and Matevz Vucnik TestDCat: Catalog of Test Debt Subtypes and Management Activities, Industrial IoT Security Monitoring and Test on Fed4Fire+, p.279 ,
,