State-space coverage estimation

被引：0

作者：

Taleghani, Ali ^{[1
]}

Atlee, Joanne M. ^{[1
]}

机构：

[1] David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada

来源：

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering | 2009年

关键词：

Compendex;

D O I：

24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009

中图分类号：

学科分类号：

摘要：

Model checking

引用

页码：459 / 467