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