Quickstrom: Specifying and Testing Web Applications

Quickstrom is a high-confidence browser testing system. It combines ideas from property-based testing, TLA+ and linear temporal logic, and functional programming.

In this talk, we'll take a look at the core ideas, how it's currently implemented, the results from testing TodoMVC implementations, and some possible future work. For more details and documentation, see https://quickstrom.io/.