Configuring Symbolic Strings