YoVDO

Etna: An Evaluation Platform for Property-Based Testing - Experience Report

Offered By: ACM SIGPLAN via YouTube

Tags

Property-based Testing Courses Haskell Courses Software Testing Courses Functional Programming Courses Performance Measurement Courses Mutation Testing Courses Coq Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 28-minute conference talk from ICFP 2023 that introduces Etna, an evaluation platform for property-based testing. Discover how this tool addresses the challenges of choosing among numerous property-based testing frameworks and strategies. Learn about Etna's architecture, which incorporates popular frameworks and testing workloads while allowing for easy expansion. Gain insights from experiments conducted using Etna to compare property-based testing approaches in Coq and Haskell, providing valuable understanding of best practices and tradeoffs. Delve into the potential of Etna to enhance empirical evaluation in the field of property-based testing, offering both new and experienced users a clearer path to selecting optimal testing techniques for their specific needs.

Syllabus

[ICFP'23] Etna: An Evaluation Platform for Property-Based Testing (Experience Report)


Taught by

ACM SIGPLAN

Related Courses

Verifying the LLVM
Strange Loop Conference via YouTube Beweisbar sichere Software
media.ccc.de via YouTube RustBelt: A Quick Dive Into the Abyss - Formalizing Rust's Safety Story
Rust via YouTube Building Measure Theory Using Hierarchy Builder
Hausdorff Center for Mathematics via YouTube Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015
GOTO Conferences via YouTube