A Flexible Framework for the Automatic Generation of SBST Programs