Dynamic Testing for Nondeterministic Concurrent Programs
博士 === 國立臺灣師範大學 === 資訊工程學系 === 101 === Concurrent programs exhibit nondeterministic behavior in that multiple executions thereof with the same input might produce different sequences of synchronization events and different results. This is because different executions of a concurrent program with th...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2012
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/63701392370141944099 |