3 papers
cs.SE2024
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
Hassan Sartaj, Shaukat Ali, Julie Marie Gjøby
Testing healthcare Internet of Things (IoT) applications at system and integration levels necessitates integrating numerous medical devices of various types. Challenges of incorpor…
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…