A Case Study for Invalidating the Markovian Property of GUI Software Structural Profile | IEEE Conference Publication | IEEE Xplore