A Practical Approach for Automated Test Case Generation using Statecharts