Property-Based Testing: QuickChickExplores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
Introduction to Design ReviewsCovers the objective, steps, and stakeholders in design reviews, emphasizing the importance of risk analysis and verification.
Outlier AnalysisDiscusses predicting future behavior and analyzing outliers in choice models.
From Tests to ProofExplores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.