Welcome to the Testing Automation Framework (TAF) homepage. TAF was originally dedicated to the automatic generation of virtual worlds for robot simulators, but it has now been extended to the general challenge of generating diverse test cases under constraints.
Here you can find the TAF software (download section) and related papers published by LAAS-CNRS, Toulouse, France.