State Storing in Prefix-Based Replay to Accelerate the Reachability Testing
碩士 === 國立臺灣師範大學 === 資訊工程研究所 === 97 === In software testing, our reachability testing [1] for concurrent program is mainly for testing, which main purpose is to find out all the interleaves for user analysis of reference for research in this area, there are improve the performance, but also from outs...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2009
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/g6ghta |