axelson

axelson

Scenic Core Team

ElixirConf US 2018 – Sustainable Testing – Andrew Bennett (@potatosalad)

Sustainable test suites are long lived and effective at revealing bugs. However, the complexity of distributed cloud applications can make it challenging to have much confidence in system correctness. What testing practices are present in other functional languages? How is property-based testing related to model checking and formal verification?

We’ll explore test frameworks and practices from other functional languages and academic sources in hopes of improving the way we test software in Elixir. We’ll discuss tools as they exist today, as well as future tools being developed at Toyota Connected and among the Elixir community to empower developers to more efficiently test their systems.

Audience: Intermediate, Advanced
Topics: testing

All talks are available in the ElixirConf US 2018 Talks List or via the elixirconf2018 tag

Where Next? Top

Trending in Talks Top

CodeSync
LT: The Elixir Hiring Paradox - Arjun Gillard | ElixirConf EU 2026 Comments welcome! View the <span class="hashtag-icon-p...
New
ElixirConf
Elixir’s Configuration Layers: A Visual Journey - Stephanie Lane | ElixirConf US 2025 Comments welcome! View the <span cl...
New
ElixirConf
Introducing Elixir Observer - Juan Manuel Azambuja | ElixirConf US 2025 Comments welcome! View the <span class="hashtag-i...
New
ElixirConf
Leaving a BEAM cluster (basically) unattended for 2 years - Yuri Oliveira | ElixirConf US 2025 Comments welcome! View the...
New
ElixirConf
How LiveDebugger makes your life easier - Krzysztof Nalepa | ElixirConf US 2025 https://www.youtube.com/watch?v=MzvauYjQgdQ Comments w...
New
ElixirConf
Stranger Domains: Embedding your app across the web - Nathan Hessler | ElixirConf US 2025 https://www.youtube.com/watch?v=ljx3uDsy9Rg ...
New
ElixirConf
Writing Your Own Req Plugin - Jacob Swanner | ElixirConf US 2025 Comments welcome! View the <span class="hashtag-icon-pla...
New

Other Trending Topics Top

garrison
Hobbes is a low-level distributed database for the Elixir programming language. Hobbes provides a simple, safe, and scalable storage lay...
New
mcass19
ExRatatui lets you cook up rich terminal UIs in Elixir, powered by Rust’s ratatui via Rustler NIFs. Build interactive terminal applicatio...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge &amp; Solve. They are GUI (Emerge) and State management (S...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New
wintermeyer
There are three potential reasons for members of this forum to have a look at https://vutuv.de You are tired or annoyed of LinkedIn. Yo...
New
aseigo
ICal is a library for interacting with iCalendar data. It parses iCalendars into typed Elixir structs via ICal.from_ics, and can prepare ...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews