Counting for Random Testing
Counting for Random Testing
复制标题
随机测试计数
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
M. Gaudel
中科院分区：
文献类型：
--
作者：
M. Gaudel
Wilf和Nijenhuis在70年代末的开创性工作导致了有效的算法，用于计数和随机生成各种组合结构。1994年，Flajolet、Zimmermann和Van Cutsem对这种方法进行了广泛的概括和系统化。本文介绍了这些强大的结果在软件随机测试和随机模型探索中的几个应用。
The seminal works of Wilf and Nijenhuis in the late 70s have led to efficient algorithms for counting and generating uniformly at random a variety of combinatorial structures. In 1994, Flajolet, Zimmermann and Van Cutsem have widely generalised and systematised the approach. This paper presents several applications of these powerful results to software random testing, and random model exploration.