Automated Software Testing of JavaScript Web Applications