2 papers
cs.SE2024
Automated System-level Testing of Unmanned Aerial Systems
Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal +1
Unmanned aerial systems (UAS) rely on various avionics systems that are safety-critical and mission-critical. A major requirement of international safety standards is to perform ri…
cs.SE2024
Efficient Test Data Generation for MC/DC with OCL and Search
Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani +1
System-level testing of avionics software systems requires compliance with different international safety standards such as DO-178C. An important consideration of the avionics indu…