Developing a ModelCovers the development of a model to identify stable causal relationships between variables.
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.
Outlier AnalysisDiscusses predicting future behavior and analyzing outliers in choice models.
Property-Based Testing: QuickChickExplores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.