Comprehending Ajax Web Applications by the DynaRIA Tool | IEEE Conference Publication | IEEE Xplore