1. 7
    The New QuickCheck: Random, Exhaustive, and Symbolic Testing Under One Roof (2012) pdf compsci formalmethods programming testing citeseer.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | 1 comment

  1.  

  2. 2
    chriswarbo avatar chriswarbo 9 months ago | link

    For Isabelle

    This explains the ambitious capabilities, but makes it less applicable than the more widespread Haskell and Erlang versions.