A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
A Meta Heuristic for Effectively Detecting Concurrency Errors
[chapter]
2009
Lecture Notes in Computer Science
Mainstream programming is migrating to concurrent architectures to improve performance and facilitate more complex computation. The state of the art static analysis tools for detecting concurrency errors are imprecise, generate a large number of false error warnings, and require manual verification of each warning. In this paper we present a meta heuristic to help reduce the manual effort required in the verification of warnings generated by static analysis tools. We manually generate a small
doi:10.1007/978-3-642-01702-5_8
fatcat:tyos67u4l5bd7h2ruplvgmj4hq