Claire Le Goues

• Search-Based Software Engineering
• Isomorphic transformations for algebraic datatypes