ISSTA
2010
ACM
15 years 14 days ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...