An automated model-based testing approach for the self-adaptive behavior of the unmanned aircraft system application software. - Zainab Javed; Muhammad Zohaib Iqbal; Muhammad Uzair Khan; Muhammad Usman 013; Atif Aftab Ahmed Jilani (Softw. Pract. Exp., 2024)

A hybrid search and model-based approach for testing the self-adaptive unmanned aircraft system software. - Zainab Javed; Muhammad Zohaib Iqbal; Muhammad Uzair Khan; Muhammad Usman 013; Atif Aftab Ahmed Jilani (Comput. Stand. Interfaces, 2025)