一句话：提出 WebMonitor，用形式化逻辑描述 Web UI 布局及时序变化并黑盒验证网页，支持交互测试。
现代 Web 应用开发涉及复杂的 UI 工程流程，界面元素通常由 HTML/CSS 和 JavaScript 类技术生成。WebMonitor 针对这一问题，采用一种能够同时刻画视觉组件布局及其在用户交互下随时间变化的形式化逻辑来规约需求，并在任意网页上自动验证这些需求。该框架采用黑盒监控方式，不依赖具体 Web 开发技术、浏览器或操作系统。当验证结果为否时，系统返回可视化的反例，帮助开发者定位交互问题。作者将 WebMonitor 置于开发工作流中，为交互测试与模拟等广泛用例提供自动化支持，体现其在 Web UI 验证与运行时监控方面的实用价值。
Application development for the modern Web involves sophisticated engineering workflows which include user interface aspects. Those involve Web elements typically created with HTML/CSS markup and JavaScript-like languages, yielding Web documents. WebMonitor leverages requirements formally specified in a logic able to capture both the layout of visual components as well as how they change over time, as a user interacts with them. Then, requirements are verified upon arbitrary web pages, allowing for automated support for a wide set of use cases in interaction testing and simulation. We position WebMonitor within a developer workflow, where in case of a negative result, a visual counterexample is returned. The monitoring framework we present follows a black-box approach, and as such is independent of the underlying technologies a Web application may be developed with, as well as the browser and operating system used.