corpus.blog
41,554 blogs · 5,197,919 posts Claim your blog
Record · corpus.blog/posts/01a087e6-0500-723d-8da3-9aa1ab2af3b8

The sad state of property-based testing libraries

stevana.github.io · published 2 July 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at stevana.github.io Wayback capture
1blogs citing
First cited
23 Dec 2024
Most recent
23 Dec 2024
Rank this month
not ranked
External links
58
Words captured
38,577

Cited by

Blog
In the post
Date
concerningquality.com
Controlling Nondeterminism in Model-Based Tests with Prophecy Variables Read at the source ↗
23 Dec 2024

Links from this post

Link
Host
https://en.wikipedia.org/wiki/QuickCheck
en.wikipedia.org
https://youtu.be/x4BNj7mVTkw?t=289
youtu.be
https://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf
cs.tufts.edu
https://github.com/Rewbert/quickcheck-v1
github.com
https://www.cse.chalmers.se/~rjmh/Papers/QuickCheckST.ps
cse.chalmers.se
https://en.wikipedia.org/wiki/Ericsson
en.wikipedia.org
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b268715b8c0bcebe53db857aa2d7a95fbb5c5dbf
citeseerx.ist.psu.edu
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=5ae25681ff881430797268c5787d7d9ee6cf542c
citeseerx.ist.psu.edu
https://www.cse.chalmers.se/~nicsma/papers/finding-race-conditions.pdf
cse.chalmers.se
https://cs.brown.edu/~mph/HerlihyW90/p463-herlihy.pdf
cs.brown.edu
https://publications.lib.chalmers.se/records/fulltext/232550/local_232550.pdf
publications.lib.chalmers.se
https://github.com/stevana/stateful-pbt-with-fakes/issues
github.com
https://fscheck.github.io/FsCheck//StatefulTestingNew.html
fscheck.github.io
https://github.com/fscheck/FsCheck/issues/214
github.com
https://github.com/leanovate/gopter/issues/20
github.com
https://github.com/hedgehogqa/haskell-hedgehog/issues/104
github.com
https://github.com/nick8325/quickcheck/issues/139
github.com
https://github.com/quicktheories/QuickTheories/issues/42
github.com
https://github.com/quicktheories/QuickTheories/blob/a963eded0604ab9fe1950611a64807851d790c1c/core/src/main/java/org/quicktheories/core/stateful/Parallel.java
github.com
https://github.com/emil-e/rapidcheck/issues/47
github.com
https://github.com/typelevel/scalacheck/tree/19af6eb656ba759980664e29ec6ae3e063021685/examples
github.com
https://github.com/Seelengrab/Supposition.jl/discussions/26
github.com
https://github.com/typelift/SwiftCheck/issues/149
github.com
https://fast-check.dev/docs/advanced/race-conditions/
fast-check.dev
https://github.com/jsverify/jsverify/issues/148
github.com
https://github.com/alfert/propcheck/issues/148
github.com
https://github.com/BurntSushi/quickcheck/issues/134
github.com
http://blog.guillermowinkler.com/blog/2015/04/12/verifying-state-machine-behavior-using-test-dot-check/
blog.guillermowinkler.com
https://youtu.be/x4BNj7mVTkw?t=898
youtu.be
https://research.chalmers.se/publication/517894/file/517894_Fulltext.pdf
research.chalmers.se
https://www.youtube.com/watch?v=NcJOiQlzlXQ
youtube.com
https://github.com/google/leveldb/issues/50
github.com
https://htmlpreview.github.io/?https://raw.githubusercontent.com/strangeloop/lambdajam2013/master/slides/Norton-QuickCheck.html
htmlpreview.github.io
https://martinfowler.com/bliki/TestDouble.html
martinfowler.com
https://www.youtube.com/watch?v=BVtQNK_ZUJg
youtube.com
https://hackage.haskell.org/package/containers-0.7/docs/Data-Tree.html
hackage.haskell.org
https://www.well-typed.com/blog/2019/01/qsm-in-depth/
well-typed.com
https://martinfowler.com/bliki/ContractTest.html
martinfowler.com
https://github.com/stevana/stateful-pbt-with-fakes/blob/main/src/Example/FileSystem/Test.hs
github.com
https://github.com/stevana/stateful-pbt-with-fakes
github.com
https://github.com/stevana/quickcheck-state-machine/issues/51
github.com
https://news.ycombinator.com/item?id=40875559
news.ycombinator.com
https://lobste.rs/s/uutqvn/sad_state_property_based_testing
lobste.rs
https://old.reddit.com/r/programming/comments/1duamq2/the_sad_state_of_propertybased_testing_libraries/
old.reddit.com
https://old.reddit.com/r/haskell/comments/1duam7a/the_sad_state_of_propertybased_testing_libraries/
old.reddit.com
https://discourse.haskell.org/t/the-sad-state-of-property-based-testing-libraries/9880
discourse.haskell.org
https://matklad.github.io/2024/07/05/properly-testing-concurrent-data-structures.html
matklad.github.io
https://anthonylloyd.github.io/blog/2024/07/07/cscheck-happy-state
anthonylloyd.github.io
https://discourse.haskell.org/t/the-sad-state-of-property-based-testing-libraries/9880/20
discourse.haskell.org
https://blog.tiserbox.com/posts/2024-07-08-make-good-stubs-with-stateful-property-testing.html
blog.tiserbox.com
http://www.erlang-factory.com/conference/London2011/speakers/JohnHughes
erlang-factory.com
https://strategiska.se/forskning/genomford-forskning/ramanslag-inom-it-omradet/projekt/2010/
strategiska.se
https://github.com/Gabriella439/HasCal
github.com
https://dl.acm.org/doi/10.1145/3360607
dl.acm.org
https://github.com/stevana/stateful-pbt-with-fakes/blob/main/src/Example/TicketDispenser.hs
github.com
http://www.eecg.toronto.edu/~yuan/papers/failure_analysis_osdi14.pdf
eecg.toronto.edu
https://www.youtube.com/watch?v=fhFa4tkFUFw
youtube.com
https://github.com/stevana/stateful-pbt-with-fakes/blob/main/TODO.md
github.com
Elsewhere on stevana.github.io (2)