The auto test framework and example, which can be used to extend stress/coverage/recursive test etc.