Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms.

Fang-Yi Lo, Chao-Hong Chen, Ying-Ping Chen

Browse the full CEC paper archive.