The paper A Framework for Automated Testing of JavaScript Web Applications is accepted at ICSE'11