A property-based testing tool for Javascript