Property-Based Testing for the People

Property-Based Testing for the People

Parallel Algorithms for Depth-First Search (1991)

Forecasting with Econometric Methods: Folklore versus Fact (1978)

From Verification to Implementation: A Model Translation Tool and Pacemaker Case Study (2012)