Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen: Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms. CEC 2020: 1-8