Automated unit and property-based testing framework for JavaScript