Pierre Vermaak UCT. An attempt to automate the discovery of initial solution candidates. Example-based learning Why? ◦ Track record on difficult.
Parameterizing Random Test Data According to Equivalence Classes Chris Murphy, Gail Kaiser, Marta Arias Columbia University.