An Efficient Coverage Estimation Methodology for Model Checking
碩士 === 國立中正大學 === 資訊工程所 === 94 === The mutation based coverage estimation methodology for model checking applies mutations to a system model to obtain the mutated system models and re-performs model checking on the mutated system models. The coverage is evaluated according to the model checking resu...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2006
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/11724620292956722611 |