Erly Marsh - a Model-Based Testing Tool

on YouTube ↗21m

" summary

Erly Marsh is a model-based testing tool that uses an Erlang-like specification language and symbolic execution to generate test suites from state-machine models, applies user-definable observer coverage criteria to select bounded tests, and produces concrete tests for execution; the tool runs on Erlang infrastructure, targets protocol-like systems, and finds real bugs—a deployed telecom location system yields over a hundred faults during evaluation.

AI-written summary · about

" chapters (13)

1. 0:00Introduction
2. 0:47Why did you start this project
3. 1:50How did you get started
4. 2:51Manual testing
5. 3:41Modelbased testing
6. 5:45Modeling language
7. 6:32Long
8. 7:11Statement Machine
9. 10:19Limitations
10. 11:19Coverage Criteria
11. 13:06Observers
12. 17:58Symbolic execution
13. 18:32Test cases

" related talks

• 16mEywa: Automating Model-Based Testing using LLMsTodd Millstein, Siva Kesava Reddy Kakarla, Ryan Beckett, George Varghese, Rajdeep Mondal, Rathin Singha · NSDI '26
• 27mBreak It YourselfHans Svensson, Ingela Anderton Andin · Code BEAM Lite Stockholm 2026
• 46mGraphical models for QuickcheckKirill Bogdanov · Erlang User Conference 2015
• 07mNew Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific LanguagesEsther Guerra, Juan de Lara, Pablo C Canizares, Pablo Gómez-Abajo, Alberto Núňez · SLE 2021
• 38mTesting with Elixir/ErlangAgustín Ramos · Mexico City Erlang Factory Lite 2015
• 43mAn Erlang-Based Framework for the Automatic Testing of Web ServicesKostis Sagonas · Erlang User Conference 2012
• 29mGeneration and Refinement of Testing ModelsLars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño · Erlang 2023
• 31mModel-Based E2E Testing With State MachinesErik Rasmussen · Infobip Shift 2023