publications

2025

1. When Uncertainty Leads to Unsafety: Empirical Insights into the Role of Uncertainty in Unmanned Aerial Vehicle Safety

   Sajad Khatiri, Fatemeh Mohammadi Amin, Sebastiano Panichella, and 1 more author

   arXiv preprint arXiv:2501.08908, 2025

   Bib

   @article{khatiri2025uncertainty,
     title = {When Uncertainty Leads to Unsafety: Empirical Insights into the Role of Uncertainty in Unmanned Aerial Vehicle Safety},
     author = {Khatiri, Sajad and Amin, Fatemeh Mohammadi and Panichella, Sebastiano and Tonella, Paolo},
     journal = {arXiv preprint arXiv:2501.08908},
     year = {2025}
   }

2. SBFT

   SBFT Tool Competition 2025 - UAV Testing Track

   Sajad Khatiri, Tahereh Zohdinasab, Prasun Saurabh, and 2 more authors

   In IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT@ICSE 2025, 2025

   Bib

   @inproceedings{SBFT-UAV2025,
     author = {Khatiri, Sajad and Zohdinasab, Tahereh and Saurabh, Prasun and Humeniuk, Dmytro and Panichella, Sebastiano},
     title = {{SBFT} Tool Competition 2025 - UAV Testing Track},
     booktitle = {{IEEE/ACM} International Workshop on Search-Based and Fuzz Testing, SBFT@ICSE 2025},
     year = {2025}
   }

3. ICST

   ICST Tool Competition 2025 - UAV Testing Track

   Sajad Khatiri, Tahereh Zohdinasab, Prasun Saurabh, and 2 more authors

   In IEEE/ACM International Conference on Software Testing, Verification and Validation, ICST 2025, 2025

   Bib

   @inproceedings{ICST-UAV2025,
     author = {Khatiri, Sajad and Zohdinasab, Tahereh and Saurabh, Prasun and Humeniuk, Dmytro and Panichella, Sebastiano},
     title = {{ICST} Tool Competition 2025 - UAV Testing Track},
     booktitle = {{IEEE/ACM} International Conference on Software Testing, Verification and Validation, ICST 2025},
     year = {2025}
   }

2024

1. ICSE

   Simulation-based testing of unmanned aerial vehicles with Aerialist

   Sajad Khatiri, Sebastiano Panichella, and Paolo Tonella

   In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

   Bib

   @inproceedings{khatiri2024simulation,
     title = {Simulation-based testing of unmanned aerial vehicles with Aerialist},
     author = {Khatiri, Sajad and Panichella, Sebastiano and Tonella, Paolo},
     booktitle = {Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings},
     pages = {134--138},
     year = {2024}
   }

2. SBFT

   SBFT tool competition 2024-cps-uav test case generation track

   Sajad Khatiri, Prasun Saurabh, Timothy Zimmermann, and 3 more authors

   In Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

   Bib

   @inproceedings{khatiri2024sbft,
     title = {SBFT tool competition 2024-cps-uav test case generation track},
     author = {Khatiri, Sajad and Saurabh, Prasun and Zimmermann, Timothy and Munasinghe, Charith and Birchler, Christian and Panichella, Sebastiano},
     booktitle = {Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing},
     pages = {29--32},
     year = {2024}
   }

3. TOSEM

   A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction

   Christian Birchler, Sajad Khatiri, Pooja Rani, and 2 more authors

   ACM Transactions on Software Engineering and Methodology, 2024

   Bib

   @article{birchler2024roadmap,
     title = {A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction},
     author = {Birchler, Christian and Khatiri, Sajad and Rani, Pooja and Kehrer, Timo and Panichella, Sebastiano},
     journal = {ACM Transactions on Software Engineering and Methodology},
     year = {2024},
     publisher = {ACM New York, NY}
   }

4. Identifying safety–critical concerns in unmanned aerial vehicle software platforms with SALIENT

   Sajad Khatiri, Andrea Di Sorbo, Fiorella Zampetti, and 3 more authors

   SoftwareX, 2024

   Bib

   @article{khatiri2024identifying,
     title = {Identifying safety--critical concerns in unmanned aerial vehicle software platforms with SALIENT},
     author = {Khatiri, Sajad and Di Sorbo, Andrea and Zampetti, Fiorella and Visaggio, Corrado A and Di Penta, Massimiliano and Panichella, Sebastiano},
     journal = {SoftwareX},
     volume = {27},
     pages = {101748},
     year = {2024},
     publisher = {Elsevier}
   }

2023

1. ICST

   Simulation-based test case generation for unmanned aerial vehicles in the neighborhood of real flights

   Sajad Khatiri, Sebastiano Panichella, and Paolo Tonella

   In 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), 2023

   Bib

   @inproceedings{khatiri2023simulation,
     title = {Simulation-based test case generation for unmanned aerial vehicles in the neighborhood of real flights},
     author = {Khatiri, Sajad and Panichella, Sebastiano and Tonella, Paolo},
     booktitle = {2023 IEEE Conference on Software Testing, Verification and Validation (ICST)},
     pages = {281--292},
     year = {2023},
     organization = {IEEE}
   }