An exploration of statistical models for automated test case generation | Synapse