BlackBoxTestGen: An Automatic Black-Box Test Case Generation Framework | Synapse