[Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour. - View it on GitHub