We present randomized methods to explore models and ensure a good coverage of traces whatever the model topology. These methods rely on counting and uniform drawing in combinatorial structures. In their basic version, such methods are space consuming. We improve them to be able to uniformly explore larger models and draw longer traces.