AuGuSTe - Statistical Testing of C Programs
Date of the last release: 05 December 2005
Person in charge :
VOISIN Frédéric
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.
More information: http://www.lri.fr/~fayolle/Auguste.html
Software
Research activities
Formal Model-Based Testing
Members
VOISIN Frédéric GOURAUD Sandrine
Group
Verification of Algorithms, Languages and Systems
