Pergi ke luar talian dengan aplikasi Player FM !
Property-Based Testing
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on February 27, 2024 06:03 ()
What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.
Manage episode 344831974 series 3405203
QuickCheck: a lightweight tool for random testing of Haskell programs
Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem
SAGE: whitebox fuzzing for security testing
Intelligent REST API data fuzzing
A hybrid analysis to detect Java serialisation vulnerabilities
Jsongen: a quickcheck based library for testing JSON web services
Property-Based Testing of JSON Based Web Services
Turning web services descriptions into quickcheck models for automatic testing
Software Testing with QuickCheck
John Hughes - Don't Write Tests
John Hughes - QuickCheck Evolution
John Hughes: Testing with QuickCheck
John Hughes - Testing the Hard Stuff and Staying Sane
John Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19
Testing Eventual Consistency in Riak - YouTube
PARTISAN: Scaling the Distributed Actor Runtime
Dealing with a corrupt SSTable in Cassandra
MODELING EVENTUAL CONSISTENCY DATABASES WITH QUICKCHECK
Applied Monotonicity: A Brief History of CRDTs in Riak
Using temporal relations to specify and test an instant messaging server
Effective Concurrency Testing for Distributed Systems
Finding race conditions in Erlang with QuickCheck and PULSE
3 episod
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on February 27, 2024 06:03 ()
What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.
Manage episode 344831974 series 3405203
QuickCheck: a lightweight tool for random testing of Haskell programs
Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem
SAGE: whitebox fuzzing for security testing
Intelligent REST API data fuzzing
A hybrid analysis to detect Java serialisation vulnerabilities
Jsongen: a quickcheck based library for testing JSON web services
Property-Based Testing of JSON Based Web Services
Turning web services descriptions into quickcheck models for automatic testing
Software Testing with QuickCheck
John Hughes - Don't Write Tests
John Hughes - QuickCheck Evolution
John Hughes: Testing with QuickCheck
John Hughes - Testing the Hard Stuff and Staying Sane
John Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19
Testing Eventual Consistency in Riak - YouTube
PARTISAN: Scaling the Distributed Actor Runtime
Dealing with a corrupt SSTable in Cassandra
MODELING EVENTUAL CONSISTENCY DATABASES WITH QUICKCHECK
Applied Monotonicity: A Brief History of CRDTs in Riak
Using temporal relations to specify and test an instant messaging server
Effective Concurrency Testing for Distributed Systems
Finding race conditions in Erlang with QuickCheck and PULSE
3 episod
Semua episod
×Selamat datang ke Player FM
Player FM mengimbas laman-laman web bagi podcast berkualiti tinggi untuk anda nikmati sekarang. Ia merupakan aplikasi podcast terbaik dan berfungsi untuk Android, iPhone, dan web. Daftar untuk melaraskan langganan merentasi peranti.