State-Based Testing of Ajax Web Applications | IEEE Conference Publication | IEEE Xplore