Florentin Ipate. Class Testing from State Diagrams Using Stream X-Machine Based Methods. In 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia. pages 245-254, IEEE Computer Society, 2007. [doi]
Abstract is missing.