Uraz Cengiz Türker, and Hüsnü Yenigün Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental, p.123 ,
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 ,
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 ,
Harald Altinger, and Reinhard German Short Contributions Searching Critical Values for Floating-Point Programs, p.209 ,
Machado Towards Model Construction Based on Test Cases and GUI Extraction, p.225 ,
Vos, and Carlos Ortega Distribution Visualization for User Behavior Analysis on LTE Network, p.249 ,