From Tests to ProofExplores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
From Tests to ProofExplores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Property-Based Testing: QuickChickExplores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
Time SeriesExplores Time Series, covering model specification, diagnostics, and forecasting methods.
Stated Preferences MethodsExplores Stated Preferences (SP) methods, choice models, and experimental design for predicting individual behavior and market demand.
