The AuGuSTe system (Automated Generation of Statistical Tests) is a random test generation tool for C programs that ensure, depending on the options, a uniform coverage of execution paths (with a bounded length) or a randomised coverage of statements or branches: the number of drawn tests can be tuned such as the probability to satisfy the coverage criterion is as high as desired.
AuGuSTe has been developed by Sandrine-Dominique Gouraud. It is currently re-engineered under the direction of Frédéric Voisin.
