Automated Test Case Generation using Unsupervised Type Inference for JavaScript