Latest

• The Complexity of Testing Message-Passing Concurrency
• Greybox Fuzzing for Concurrency Testing
• Optimistic Prediction of Synchronization-Reversal Data Races