Visconti, E., Tsigkanos, C., & Nenzi, L. (2023). WebMonitor: Verification of Web User Interfaces. In ASE ’22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (pp. 1–4). Association for Computing Machinery (ACM). https://doi.org/10.1145/3551349.3559538
E191-01 - Forschungsbereich Cyber-Physical Systems
-
Published in:
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
-
ISBN:
978-1-4503-9475-8
-
Date (published):
5-Jan-2023
-
Event name:
37th IEEE/ACM International Conference on Automated Software Engineering
en
Event date:
10-Oct-2022 - 14-Oct-2022
-
Event place:
Rochester, MI, United States of America (the)
-
Number of Pages:
4
-
Publisher:
Association for Computing Machinery (ACM), New York, NY, United States
-
Peer reviewed:
Yes
-
Keywords:
Runtime Verification; Web technologies; Software Engineering
en
Abstract:
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.
en
Project title:
High-dimensional statistical learning: New methods to advance economic and sustainability policies: ZK 35-G (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))
CC BY 4.0
