The power of random counterexamples. - Dana Angluin; Tyler Dohrn (Theor. Comput. Sci., 2020)