Article ID Journal Published Year Pages File Type
10342518 Journal of Systems and Software 2013 12 Pages PDF
Abstract
► We identified characteristics of concurrency bugs in Linux kernel by reviewing ChangeLog bug reports. ► We developed a pattern-driven COncurrency Bug dETector (COBET) that utilizes composite bug patterns with semantic conditions to detect complex bugs. ► TWe defined four concurrency bug patterns and detected ten new bugs in Linux kernel.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computer Networks and Communications
Preview
Effective pattern-driven concurrency bug detection for operating systems
Authors
, ,