Efficient Symbolic Execution of Concurrent Software
Concurrent software has been widely utilizing in computer systems owing to the highly efficient computation. However, testing and verifying concurrent software remain challenging tasks. This matter is not only because of the non-deterministic thread interferences which are hard to reason about but a...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Virginia Tech
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10919/89223 |