Automated security testing of AJAX web widgets