Etna: An Evaluation Platform for Property-Based Testing - Experience Report
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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
High Performance Computer ArchitectureGeorgia Institute of Technology via Udacity Sustainability in Practice
University of Pennsylvania via Coursera Dynamics and Control
Universitat Politècnica de València via UPV [X] Managerial Accounting: Tools for Facilitating and Guiding Business Decisions
University of Illinois at Urbana-Champaign via Coursera Dynamics and Control
Universitat Politècnica de València via edX