TY - RPRT TI - Towards Property-Based Tests in Natural Language AU - Colin S. Gordon PY - 2022 DO - 10.1145/3510455.3512781 UR - https://arxiv.org/abs/2202.03616 ID - 2202.03616 ER -