H. Yang, B. Hoxha-testing, and .. , and Georgios Fainekos State Estimation and Property-Guided Exploration for Hybrid Systems, p.152

R. Taylor, M. Hall, and .. , Kirill Bogdanov, and John Derrick New Testing Methods Machine Learning Approach in Mutation Testing

J. Strug, B. Strug-lightweight, and .. , Automatic Error Detection by Monitoring Collar Variables, p.215

J. Santos, R. Abreu, and .. , Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution, p.231