JSCheck is a specification-driven testing tool From a description of the properties of a system  function  or object  it will generate random test cases attempting to disprove those properties  and then report its findings