Mutation Coverage Estimation for Symbolic Model Checking
碩士 === 國立中正大學 === 資訊工程研究所 === 92 === When people design a system, there is always a question about how exhaustive the system has been examined to be right. Coverage estimation provides an answer to this question in simulation. A model checker verifies a design exhaustively, and proves the...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/73344078156887096871 |