A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications | IEEE Conference Publication | IEEE Xplore