Synthesizing realistic test models