TY  - RPRT
TI  - Finding Bugs with Specification-Based Testing is Easy!
AU  - Janice Chin
AU  - David Pearce
PY  - 2021
DO  - 10.22152/programming-journal.org/2021/5/13
UR  - https://arxiv.org/abs/2103.00032
ID  - 2103.00032
ER  -