This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ Quickstrom: Specifying and Testing Web Applications | Oskar Wickström - Software Engineer ABSTRACT 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/. • Follow us on social: Website: https://codesync.global/conferences/code-mesh-ldn/ Twitter: https://twitter.com/CodeMeshIO • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw