Seed Model Synthesis for Testing Model-Based Mutation Operators - Gómez-Abajo P; Guerra E; de Lara J; Merayo MG (Lecture Notes in Business Information Processing, 2020)