Uniform Random Sampling of Traces in Very Large Models

Details Uniform Random Sampling of Traces in Very Large Models Uniform Random Sampling of Traces in Very Large Models

2006-06-20

arxiv.org/abs/cs/0606086v1

First International Workshop on Random Testing, \'{E}tats-Unis d'Am\'{e}rique (2006) 10-19

Computer Science

Logic in Computer Science

Scientific paper

This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models considered here are described in a succinct way as a set of communicating reactive modules. The method relies upon techniques for counting and drawing uniformly at random words in regular languages. Each module is considered as an automaton defining such a language. It is shown how it is possible to combine local uniform drawings of traces, and to obtain some global uniform random sampling, without construction of the global model.

Affiliated with

Also associated with

No associations

Rating

Uniform Random Sampling of Traces in Very Large Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Uniform Random Sampling of Traces in Very Large Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Uniform Random Sampling of Traces in Very Large Models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-39973