Property-based Testing Courses and Certifications

Introduction to Property-based Testing with F#

84 ratings at Pluralsight

Learn what Property-based Testing is, and how to write and run such tests with F#.

• Pluralsight
• 1 hour 35 minutes
• On-Demand
• Free Trial Available

ChariotSolutions

Functions and Determinism in Property-based Testing - Lecture 9

Explore property-based testing, its implementation, and advanced techniques. Learn to create robust test suites using generators, determinism, and invariants for more effective software validation.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video

NDC Conferences

Property-Based Testing: Unveiling the Truth on Test Reduction - Ewald Verhoeven

Explore property-based testing principles, applications, and impact on software quality. Learn strategies to improve testing efficiency and reliability in real-world projects.

• YouTube
• 36 minutes
• On-Demand
• Free Video

GOTO Conferences

Gens N' Roses - Appetite for Reduction in QuickCheck Testing

Explore integrated shrinking in QuickCheck for better counterexamples and improved developer productivity. Learn about rose trees and effectful test data generators in statically typed languages.

• YouTube
• 29 minutes
• On-Demand
• Free Video

Code Sync

Improve Your Tests with Makina - Property-Based Testing for Complex Systems

Explore Makina, a new Elixir library for efficient property-based testing of complex systems like Ethereum smart contracts, featuring improved error detection and code reuse.

• YouTube
• 22 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Covering All the Bases: Type-Based Verification of Test Input Generators

Explore a novel type-based verification method for validating coverage in test input generators, enhancing property-based testing with underapproximate reasoning and refinement types.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing

Explore an innovative approach to property-based testing, integrating LazySearch with NIST's ACTS for significantly faster and more effective testing in functional programming.

• YouTube
• 26 minutes
• On-Demand
• Free Video

ACM SIGPLAN

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

Explore Etna, a platform for evaluating property-based testing techniques. Compare popular frameworks in Coq and Haskell to understand best practices and tradeoffs in functional programming.

• YouTube
• 28 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Reflecting on Random Generation in Property-Based Testing

Explore reflective generators as a new foundation for random data generation, unifying and enhancing existing techniques for property-based testing, shrinking, and mutation in programming.

• YouTube
• 27 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Property-Based Testing: Climbing the Stairway to Verification - Lecture

Explore property-based testing's integration with formal verification for enhanced code correctness assurance, using Cogent's framework as a case study.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Association for Computing Machinery (ACM)

Tyche - Making Sense of Property-Based Testing Effectiveness

Explore how property-based testing effectiveness impacts software quality through innovative analysis techniques and practical implementation strategies.

• YouTube
• 14 minutes
• On-Demand
• Free Video

Automated Software Testing: Model and State-based Testing

1 review

Learn the advanced software testing techniques, tools, and best practices required to deliver high-quality software.

• edX
• 5 weeks, 3-5 hours a week
• On-Demand
• Free Online Course (Audit)

NDC Conferences

The Lazy Programmer's Guide to Writing Thousands of Tests

Discover property-based testing: a powerful technique to find edge cases, understand code behavior, and generate hundreds of tests with random inputs. Learn its benefits and implementation.

• YouTube
• 53 minutes
• On-Demand
• Conference Talk

Writing Tests with F#

Learn efficient F# testing techniques using Ionide, XUnit, and FSCheck. Explore basic and property-based testing methods to enhance your software development skills.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Devoxx

Property-Based Testing for Everyone

Discover how property-based testing can simplify your test suite, reduce technical debt, and document business rules explicitly. Learn to find domain invariants and improve your design in Java.

• YouTube
• 49 minutes
• On-Demand
• Conference Talk