Class Testing from State Diagrams Using Stream X-Machine Based Methods.

Florentin Ipate Class Testing from State Diagrams Using Stream X-Machine Based Methods. 245-254 2007 ASWEC http://doi.ieeecomputersociety.org/10.1109/ASWEC.2007.14 conf/aswec/2007 db/conf/aswec/aswec2007.html#Ipate07