Publication:Park 2024 ICSTW condu

From Innovation
Revision as of 01:00, 30 April 2026 by James (talk | contribs) (Bulk upload from BibTeX (bib2smw.py))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Jinseok Park Chang-Hui Bae Seongjin Lee ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software 2024 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 10.1109/ICSTW60967.2024.00037 https://doi.org/10.1109/ICSTW60967.2024.00037 137-143 Park_2024_ICSTW_condu Conference

Retrieved from "http://open.gnu.ac.kr/mediawiki/index.php?title=Publication:Park_2024_ICSTW_condu&oldid=1480"