Test Generation with SRL