Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (Fundamental Approaches to Software Engineering, 2018)