31 results

• 31testing
• 31programming
• 6haskell
• 3python
• 3nixos
• 3nix
• 2rust
• 1type-systems
• 1java
• 1formal-methods

1. A gentle introduction to symbolic execution

   blog.monic.co

   • programming
   • testing

2. Cross-Branch Testing

   buttondown.email

   • programming
   • testing

3. CrossHair

   github.com

   • formal-methods
   • programming
   • python
   • testing

4. DWARF support in GHC

   www.well-typed.com

   1. Part 1
   2. Part 2
   3. Part 3
   4. Part 4
   5. Part 5
   • haskell
   • programming
   • testing

5. Finding Bugs in Cassandra's Internals with Property-based Testing

   cassandra.apache.org

   • java
   • programming
   • testing

6. Finding Property Tests

   www.hillelwayne.com

   • programming
   • python
   • testing

7. Fuzzers & Reducers as Productivity Tools

   kripken.github.io

   • programming
   • testing

8. Hedgehog on a REST API

   magnus.therning.org

   • haskell
   • programming
   • testing

9. How to Test

   matklad.github.io

   • programming
   • testing

10. How to fool the “try some test cases” heuristic: Algorithms that appear correct, but are actually incorrect

    cs.stackexchange.com

    • programming
    • testing

11. Improvements in GHC's testsuite infrastructure

    www.haskell.org

    • haskell
    • programming
    • testing

12. Metamorphic Testing

    www.hillelwayne.com

    • programming
    • testing

13. Mutation Driven Testing – When TDD Just Isn’t Good Enough

    software.rajivprab.com

    • programming
    • testing

14. Mutmut

    nedbatchelder.com

    • programming
    • python
    • testing

15. Notes on Test-Case Reduction

    www.drmaciver.com

    • programming
    • testing

16. Notes on test coverage

    jml.io

    • programming
    • testing

17. Properly Testing Concurrent Data Structures

    matklad.github.io

    • programming
    • rust
    • testing

18. Property-Based Testing in Rust with Arbitrary

    www.greyblake.com

    • programming
    • rust
    • testing

19. Rethinking Software Testing: Perspectives from the world of Hardware

    software.rajivprab.com

    • programming
    • testing

20. Saved by NixOS Integration Tests, Surprisingly

    boinkor.net

    • programming
    • testing
    • nix
    • nixos

21. Testable IO in Haskell

    andyfriesen.com

    • haskell
    • programming
    • testing

22. Testing higher-order properties with QuickCheck

    blog.poisson.chat

    • haskell
    • programming
    • testing

23. Testing sync at Dropbox

    dropbox.tech

    • programming
    • testing

24. Tests Should Build Confidence

    domk.website

    • programming
    • testing

25. Tests aren’t enough: Case study after adding type hints to urllib3

    sethmlarson.dev

    • programming
    • testing
    • type-systems