GUI Calculator Testing for Finite State Machine | IEEE Conference Publication | IEEE Xplore