An abstract superclass for all the test generation algorithms. Each subclass must implement a {@link #generate()} method thatgenerates the next step in a test sequence.
Note that many test generation algorithms use randomness, so this class provides a setter and getter for a random number generator. By default this is set to new Random(FIXEDSEED), so that test generation is deterministic.
@author marku
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.