Property-based Testing within ML Projects: an Empirical Study | IEEE Conference Publication | IEEE Xplore