A GUI environment to manipulate FSMs tor testing GUI-based applications in Java | IEEE Conference Publication | IEEE Xplore