Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms | IEEE Conference Publication | IEEE Xplore