Property-Based Testing

Failed to add items

Sorry, we are unable to add the item because your shopping basket is already at capacity.

Add to cart failed.

Please try again later

Add to wishlist failed.

Please try again later

Remove from wishlist failed.

Please try again later

Follow podcast failed

Unfollow podcast failed

Property-Based Testing

Listen for free

View show details

About this listen

QuickCheck: a lightweight tool for random testing of Haskell programsSoft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast FilesystemWrite ahead logFuzzing: a surveySAGE: whitebox fuzzing for security testingIntelligent REST API data fuzzingA hybrid analysis to detect Java serialisation vulnerabilitiesJsongen: a quickcheck based library for testing JSON web servicesProperty-Based Testing of JSON Based Web ServicesTurning web services descriptions into quickcheck models for automatic testingHypothesisErlang QuickCheckSoftware Testing with QuickCheckJohn Hughes - Don't Write TestsJohn Hughes - QuickCheck EvolutionJohn Hughes: Testing with QuickCheckJohn Hughes - Testing the Hard Stuff and Staying SaneJohn Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19Testing Eventual Consistency in Riak - YouTubePARTISAN: Scaling the Distributed Actor RuntimeDealing with a corrupt SSTable in CassandraMODELING EVENTUAL CONSISTENCY DATABASES WITH QUICKCHECKRiak DTApplied Monotonicity: A Brief History of CRDTs in RiakUsing temporal relations to specify and test an instant messaging serverEffective Concurrency Testing for Distributed SystemsJepsenClojure test.checkPropERPULSE tutorialFinding race conditions in Erlang with QuickCheck and PULSECORFU: A Shared Log Design for Flash ClustersCORFU: A distributed shared log

No reviews yet