Symbolic Test Generation -- Test Generation Based on Symbolic Specifications