Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
A calculus for the random generation of labelled combinatorial structures
Theoretical Computer Science
Random generation of words in an algebraic language in linear binary space
Information Processing Letters
Uniform random generation of decomposable structures using floating-point arithmetic
Theoretical Computer Science - Special issue on Caen '97
A New Way of Automating Statistical Testing Methods
Proceedings of the 16th IEEE international conference on Automated software engineering
A Generic Method for Statistical Testing
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Uniform random sampling of traces in very large models
Proceedings of the 1st international workshop on Random testing
Uniform random walks in very large models
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Coverage-biased Random Exploration of Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Analytic Combinatorics
Uniform Monte-Carlo model checking
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Coverage-biased random exploration of large models and application to testing
International Journal on Software Tools for Technology Transfer (STTT)
| Hi-index | 0.00 |
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.