Class Testing from State Diagrams Using Stream X-Machine Based Methods | IEEE Conference Publication | IEEE Xplore