Finite State Machine-Model Based Testing on Website Application | IEEE Conference Publication | IEEE Xplore