Jinseok Park, Chang-Hui Bae, Seongjin Lee. ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software. In IEEE International Conference on Software Testing, Verification and Validation, ICST 2024 - Workshops, Toronto, ON, Canada, May 27-31, 2024. pages 137-143, IEEE, 2024. [doi]
Abstract is missing.