http://ferd.ca/property-based-testing-basics.html
blog-post-property-based-testing-basics#quicktest-program-execution-data-structure1 2 "if we can represent a program's execution sequence as a data structure, we can use quickcheck on it." blog-post-property-based-testing-basics#quicktest-program-execution-data-structure1 2