Search-Based Testing of Ajax Web Applications