An Approach to Testing Web Applications Based on Probable FSM | IEEE Conference Publication | IEEE Xplore