Myra Cohen: From Theory to Practice and Back: A Tale of Combinatorial Designs, Optimization, and Search in Software Testing