, A Model Checking Based Approach for Detecting SDN Races, p.194

E. Vinarskii, J. López, N. Kushik, and N. Yevtushenko, and Djamal Zeghlache Security and Performance Testing Towards an Efficient Performance Testing Through Dynamic Workload Adaptation

. .. Cloud, 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

M. Samson and T. Vergnaud,

. .. Platforms, 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

B. S. Aragão, R. M. Andrade, I. S. Santos, N. S. Rute, V. Castro et al.,