publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2025
- When Uncertainty Leads to Unsafety: Empirical Insights into the Role of Uncertainty in Unmanned Aerial Vehicle SafetyarXiv preprint arXiv:2501.08908, 2025
2024
- ICSESimulation-based testing of unmanned aerial vehicles with AerialistIn Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024
- SBFTSBFT tool competition 2024-cps-uav test case generation trackIn Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024
- TOSEMA Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future DirectionACM Transactions on Software Engineering and Methodology, 2024
- Identifying safety–critical concerns in unmanned aerial vehicle software platforms with SALIENTSoftwareX, 2024
2023
- ICSTSimulation-based test case generation for unmanned aerial vehicles in the neighborhood of real flightsIn 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), 2023
- TOSEMSingle and multi-objective test cases prioritization for self-driving cars in virtual environmentsACM Transactions on Software Engineering and Methodology, 2023
- EMSEMachine learning-based test selection for simulation-based testing of self-driving cars softwareEmpirical Software Engineering, 2023
- Cost-effective simulation-based test selection in self-driving cars softwareScience of Computer Programming, 2023
2022
- SANERCost-effective simulation-based test selection in self-driving cars software with SDC-ScissorIn 2022 IEEE international conference on software analysis, evolution and reengineering (SANER), 2022