Patching Locking Bugs Statically with Crayons

Computer Science

• Linux 100%
• Computing Infrastructure 50%
• Operating Systems 50%
• Supercomputer 50%
• Static Program Analysis 50%
• Mobile Internet Device 50%
• Regression Test 50%
• Program Specification 50%
• Machine Learning 50%
• Learning System 50%

Keyphrases

• Repair Method 40%
• Regression Test Suite 20%