Property TestingCovers the concept of property testing using statistical methods.
Special Families of ModelsExplores completeness, minimal sufficiency, and special statistical models, focusing on exponential and transformation families.
Property-Based Testing: QuickChickExplores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.