Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.



Published on

Generative testing with clojure

Published in: Software
  • Be the first to comment


  1. 1. I had a class…
  2. 2. And I wrote a lot of tests…
  3. 3. But still, there was a bug
  4. 4. So I wrote a test.check spec, and it found the bug that my unit tests missed
  5. 5. It run 8 tests and discovered a enqueue-dequeue sequence, that fails…
  6. 6. …and shrank the input to the smallest failing case
  7. 7. It generates random sequence of enqueue and dequeue commands… …and applies it to the queue… …one hundred times