Testing Component-Based Web Applications Using Component Automata | IEEE Conference Publication | IEEE Xplore