首页> 外文OA文献 >A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking

【2h】

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking

机译：显式状态软件模型检查中覆盖率估计的灵活框架

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Edwin Rodríguez; Matthew B. Dwyer; John Hatcliff; Robby;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Coverage metrics for temporal logic model checking [J] . Hana Chockler, Orna Kupferman, Moshe Y. Vardi Formal Methods in System Design . 2006,第3期

机译：时态逻辑模型检查的覆盖率指标
2. Checking JML specifications using an extensible software model checking framework [J] . Robby, Edwin Rodriguez, Matthew B. Dwyer, International Journal on Software Tools for Technology Transfer . 2006,第3期

机译：使用可扩展的软件模型检查框架检查JML规范
3. Software Model Checking with Explicit Scheduler and Symbolic Threads [J] . AlessandroCimatti, ImanNarasamdya, MarcoRoveri Logical Methods in Computer Science . 2012,第2期

机译：使用显式调度程序和符号线程进行软件模型检查
4. A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking [C] . Edwin Rodriguez, Matthew B. Dwyer, John Hatcliff, International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices . 2005

机译：显式状态软件模型检查中估计覆盖度量的灵活框架
5. Estimation, model checking and diagnostics in finite mixture models for point mass data: Methods in a Bayesian framework. [D] . Lynch, Miranda L. 2011

机译：点质量数据的有限混合模型中的估计，模型检查和诊断：贝叶斯框架中的方法。
6. Estimation of overlapped Eye Fixation Related Potentials: The General Linear Model a more flexible framework than the ADJAR algorithm [O] . Emmanuelle Kristensen, Bertrand Rivet, Anne Guérin-Dugué 2017

机译：重叠眼固定相关电位的估计：一般线性模型比兼容算法更灵活的框架
7. Bogor: A Flexible Framework for Creating Software Model Checkers [O] . Robby, Matthew B. Dwyer, John Hatcliff 2013

机译：茂物：用于创建软件模型检查器的灵活框架
8. Coverage Metrics for Model Checking [R] . Penix, J. , Visser, W. 2001

机译：模型检查的覆盖度量

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅