Statistical Software Properties: Definition, Inference And Monitoring