Coverage Guided Systematic Concurrency Testing
摘要:
Main idea:This paperhas proposed a coverage-guided systematic concurrency testing algorithm, where ordering constraints learned from the good test runs are used to guide the selection of high-risk interleavings for future test execution. We propose HaPSets to capture these ordering constraints and u 阅读全文
posted @ 2011-12-17 22:24 zhanghs 阅读(308) 评论(0) 推荐(0) 编辑