A framework for automated testing of javascript web applications