A Practical Approach for Automated Test Case Generation using Statecharts | IEEE Conference Publication | IEEE Xplore