Modeling Web Interactions
No abstract available.
Related papers
- Model-based, event-driven programming paradigm for interactive web applications Onward! 2013
- Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses CAV 2016
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021
- Reasoning about Web Applications: An Operational Semantics for HOP TOPLAS 2012
- Communication-safe web programming in TypeScript with routed multiparty session types CC 2021
- Rose: Composable Autodiff for the Interactive Web ECOOP 2024
- WebRobot: web robotic process automation using interactive programming-by-demonstration PLDI 2022
- Systematic black-box analysis of collaborative web applications PLDI 2017