Theorem-Prover-Assisted Counterexample Generation With Constrained Enumerative Types - Walter, Andrew T. (ProQuest Dissertations and Theses, 2025)