Inferring State Models Using Feedback Directed Random Testing | IEEE Conference Publication | IEEE Xplore