Patching Locking Bugs Statically with Crayons

Alfredo Cruz, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Fingerprint

Dive into the research topics of 'Patching Locking Bugs Statically with Crayons'. Together they form a unique fingerprint.

Computer Science

Keyphrases