Patching Locking Bugs Statically with Crayons.
In: ACM Transactions on Software Engineering & Methodology, Jg. 32 (2023-05-01), Heft 3, S. 1-28
Online
academicJournal
Zugriff:
Titel: |
Patching Locking Bugs Statically with Crayons.
|
---|---|
Autor/in / Beteiligte Person: | CRUZ-CARLON, JUAN ; VARSHOSAZ, MAHSA ; LE GOUES, CLAIRE ; WASOWSKI, ANDRZEJ |
Link: | |
Zeitschrift: | ACM Transactions on Software Engineering & Methodology, Jg. 32 (2023-05-01), Heft 3, S. 1-28 |
Veröffentlichung: | 2023 |
Medientyp: | academicJournal |
ISSN: | 1049-331X (print) |
DOI: | 10.1145/3548684 |
Sonstiges: |
|