A Case Study-based Comparison of Web Testing Techniques applied to AJAX Web Applications