Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers
| Autor: | Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu |
|---|---|
| Rok vydání: | 2022 |
| Předmět: | |
| Zdroj: | IEEE Transactions on Software Engineering. :1-1 |
| ISSN: | 2326-3881 0098-5589 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|