WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts