What Test Designers Want from Software Models