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: | Jia-jen Yeh, 葉家蓁 |
---|---|
Other Authors: | Pao-Ann Hsiung |
Format: | Others |
Language: | en_US |
Published: |
2006
|
Online Access: | http://ndltd.ncl.edu.tw/handle/11724620292956722611 |
Similar Items
-
An Efficient Coverage Estimation Methodology for Model Checking
by: Kuan-lun Chiu, et al. -
Mutation Coverage Estimation for Symbolic Model Checking
by: Te-Chang Lee, et al.
Published: (2004) -
Developing Mobile-based BIM Models Checking System for Facility Management
by: Jen-Hao Yeh, et al. -
Latch-Up Check For well pickup/device coverage
by: Hsin-Hsien Lin, et al.
Published: (2006) -
Efficient model checking for timing diagrams
by: Amla, Nina
Published: (2008)