TY - RPRT TI - Application of property-based testing tools\\ for metamorphic testing AU - Nasser Alzahrani AU - Maria Spichkova AU - James Harland PY - 2022 UR - https://arxiv.org/abs/2211.12003 ID - 2211.12003 ER -