32 results

• 32testing
• 29programming
• 5haskell
• 3python
• 3nixos
• 3nix
• 1type-systems
• 1rust
• 1java
• 1formal-methods
• 1experience-reports
• 1devops

1. A gentle introduction to symbolic execution

   blog.monic.co

   • programming
   • testing

2. Building an Effective Test Pipeline in a Service Oriented World

   medium.com

   • experience-reports
   • testing

3. Choosing properties for property-based testing

   fsharpforfunandprofit.com

   • testing

4. Cross-Branch Testing

   buttondown.email

   • programming
   • testing

5. CrossHair

   github.com

   • formal-methods
   • programming
   • python
   • testing

6. 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

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

   cassandra.apache.org

   • java
   • programming
   • testing

8. Finding Property Tests

   www.hillelwayne.com

   • programming
   • python
   • testing

9. Fuzzers & Reducers as Productivity Tools

   kripken.github.io

   • programming
   • testing

10. Hedgehog on a REST API

    magnus.therning.org

    • haskell
    • programming
    • testing

11. How to Test

    matklad.github.io

    • programming
    • testing

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

    cs.stackexchange.com

    • programming
    • testing

13. Improvements in GHC's testsuite infrastructure

    www.haskell.org

    • haskell
    • programming
    • testing

14. Metamorphic Testing

    www.hillelwayne.com

    • programming
    • testing

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

    software.rajivprab.com

    • programming
    • testing

16. Mutmut

    nedbatchelder.com

    • programming
    • python
    • testing

17. Notes on Test-Case Reduction

    www.drmaciver.com

    • programming
    • testing

18. Notes on test coverage

    jml.io

    • programming
    • testing

19. Property-Based Testing in Rust with Arbitrary

    www.greyblake.com

    • programming
    • rust
    • testing

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

    software.rajivprab.com

    • programming
    • testing

21. Saved by NixOS Integration Tests, Surprisingly

    boinkor.net

    • programming
    • testing
    • nix
    • nixos

22. Testable IO in Haskell

    andyfriesen.com

    • haskell
    • programming
    • testing

23. Testing higher-order properties with QuickCheck

    blog.poisson.chat

    • haskell
    • programming
    • testing

24. Testing in Production, the safe way

    copyconstruct.medium.com

    • devops
    • testing

25. Testing sync at Dropbox

    dropbox.tech

    • programming
    • testing