<div class="csl-bib-body">
<div class="csl-entry">Visconti, E., Tsigkanos, C., & Nenzi, L. (2023). WebMonitor: Verification of Web User Interfaces. In <i>ASE ’22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering</i> (pp. 1–4). Association for Computing Machinery (ACM). https://doi.org/10.1145/3551349.3559538</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/152313
-
dc.description.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
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)