Picture for Hassan Sartaj

Hassan Sartaj

Automated System-level Testing of Unmanned Aerial Systems

Add code
Mar 23, 2024
Viaarxiv icon

Efficient Test Data Generation for MC/DC with OCL and Search

Add code
Jan 07, 2024
Viaarxiv icon