Feedback-directed Random Test Generation
The Architecture of GenDevs: looking under the hood of DEVSJAVA 3.0 Bernard P. Zeigler ACIMS Updated January 2004.
Feedback-directed Random Test Generation Carlos Pacheco Shuvendu Lahiri Michael Ernst Thomas Ball MIT Microsoft Research January 19, 2007.
The Architecture of GenDevs: looking under the hood of DEVSJAVA 3.0