Loading...
Please wait, while we are loading the content...
Similar Documents
2 Some Preliminaries on Random Testing and Random Walks
| Content Provider | Semantic Scholar |
|---|---|
| Author | Gaudel, Marie-Claude |
| Copyright Year | 2011 |
| Abstract | 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://rd.springer.com/content/pdf/10.1007/978-3-642-24580-0_1.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
