Constraint Solving for Diagnosing Concurrency Bugs
Programmers often have to spend a significant amount of time inspecting the software code and execution traces to identify the root cause of a software bug. For a multithreaded program, debugging is even more challenging due to the subtle interactions between concurrent threads and the often astrono...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Virginia Tech
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10919/52784 |