A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems
Concurrency bugs are extremely hard to detect due to huge interleaving space. They are happening in the real world more often because of the prevalence of multi-threaded programs taking advantage of multi-core hardware, and microservice based distributed systems moving more and more applications to...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
FIU Digital Commons
2018
|
| Subjects: | |
| Online Access: | https://digitalcommons.fiu.edu/etd/3896 https://digitalcommons.fiu.edu/cgi/viewcontent.cgi?article=5139&context=etd |