Automatic unit test generation for JavaScript