A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
On the Use of Uniform Random Generation of Automata for Testing
2009
Electronical Notes in Theoretical Computer Science
Developing efficient and automatic testing techniques is one of the major challenges facing software validation community. In this paper, we show how a uniform random generation process of finite automata, developed in a recent work by Bassino and Nicaud, is relevant for many faces of automatic testing. The main contribution is to show how to combine two major testing approaches: model-based testing and random testing. This leads to a new testing technique successfully experimented on a
doi:10.1016/j.entcs.2009.09.050
fatcat:ryqvlgthtjcchahfar6wo37udi