BrowserAudit: automated testing of browser security features. - Charlie Hothersall-Thomas; Sergio Maffeis; Chris Novakovic (ISSTA, 2015)