Property-based Testing Courses and Certifications

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

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

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

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

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

Code Sync

The Magic of Internal Shrinking for Property Based Testing

Discover how internal shrinking simplifies property-based testing by automatically generating readable test cases through the Decorum library in Elixir, making debugging more efficient and intuitive.

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

Code Sync

Detecting Noninterference Violations with Property-Based Testing

Discover how property-based testing can streamline verification of information-flow control mechanisms for data security by generating random lambda terms to identify errors early in the verification process.

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

ACM SIGPLAN

Tuning Random Generators - Property-Based Testing as Probabilistic Programming

Discover automatic tuning of random generators for property-based testing using probabilistic programming to optimize test input distributions and achieve 3-7x faster bug detection.

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

ACM SIGPLAN

An Empirical Evaluation of Property-Based Testing in Python

Discover how property-based testing in Python compares to unit testing through empirical analysis of 426 programs, revealing which test categories are most effective at finding bugs.

• YouTube
• 14 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

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

ACM SIGPLAN

Generating Good Generators for Inductive Relations

Discover how to compile Coq's inductive relations into efficient, certified generators for property-based random testing, with practical applications in software foundations and verification.

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