[1] Gupta M，Bastani F，Khan L，et al. Rapid Goal-oriented Automated Software Testing Using MEA-Graph Planning [J]. Software Quality Journal(S0963-9314)，2007，15(3)：241-263.

[2] Cunning S J，Rozenblit J W. Automating Test Generation for Discrete Event Oriented Embedded Systems [J]. Journal of Intelligent and Robotic System(S0921-0296)，2004，41：87-112.