Fully Automated HTML and JavaScript Rewriting for Constructing a Self‐healing Web Proxy. - Durieux, Thomas; Hamadi, Youssef; Monperrus, Martin (Software Testing: Verification & Reliability, 2020)