Dynamic Analysis of Multithreaded Embedded Software to Expose Atomicity Violations
abstract: Concurrency bugs are one of the most notorious software bugs and are very difficult to manifest. Significant work has been done on detection of atomicity violations bugs for high performance systems but there is not much work related to detect these bugs for embedded systems. Although crit...
Other Authors: | |
---|---|
Format: | Dissertation |
Language: | English |
Published: |
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/2286/R.I.38397 |