How to Use Synthetic Data to Maximize Test Coverage