3 citations · 4 across the 3 of their papers we have counts for
3 papers
Some approximations in Model Checking and Testing
M. C. Gaudel, R. Lassaigne, F. Magniez +1
Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many tec…
Testing data types implementations from algebraic specifications
Marie-Claude Gaudel, Pascale Le Gall
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a…
Uniform Random Sampling of Traces in Very Large Models
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud +3
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…