Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations
Autor: | Chang-Hui Bae, Euteum Choi, Yong-Kee Jun, Ok-Kyoon Ha |
---|---|
Rok vydání: | 2023 |
Zdroj: | 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). |
DOI: | 10.1109/icstw58534.2023.00039 |
Databáze: | OpenAIRE |
Externí odkaz: |