S. Karahoda, K. Osman-tufan-erenay, and .. Kaya-correctness, Uraz Cengiz Türker, and Hüsnü Yenigün Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental, p.123

K. Patel, R. , and M. , Hierons On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications 139 Nina Yevtushenko, Khaled El-Fakih, and Anton Ermakov Practical Applications Mutation-Based Test Generation for PLC Embedded Software Using Model Checking, p.155

P. Wang, S. Ali, and A. , Tao Yue, and Marius Liaaen From Simulation Data to Test Cases for Fully Automated Driving and, STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial

C. Sippl, F. Bock, D. Wittmann, and .. , Harald Altinger, and Reinhard German Short Contributions Searching Critical Values for Floating-Point Programs, p.209

C. M. Eder, P. R. Gomes, E. M. Amora, A. G. Teixeira, F. T. Lima et al., Machado Towards Model Construction Based on Test Cases and GUI Extraction, p.225

M. Martinez, A. I. Esparcia, U. Rueda, and T. E. , Vos, and Carlos Ortega Distribution Visualization for User Behavior Analysis on LTE Network, p.249