The papers Server Interface Descriptions for Automated Testing of JavaScript Web Applications and Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries are accepted at ESEC/FSE 2013