Property-based testing of a financial market platform - Rui Pedro Fernandes dos Santos Matos Godinho (2019)