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