A Formal Open Framework Based on Agent for Testing Web Applications | IEEE Conference Publication | IEEE Xplore