An efficient code coverage technique for UML StateChart Diagram | IEEE Conference Publication | IEEE Xplore