DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing | IEEE Conference Publication | IEEE Xplore