• Tests vs. Types http://kevinmahoney.co.uk/articles/tests-vs-types/ 75 comments 13/2/2016
• Type System vs Test Driven Development http://groups.google.com/group/haskell-cafe/browse_thread/thread/b5429b13dc7ee34 7 comments 6/1/2011
• Bruce Eckel: Strong Typing vs. Strong Testing (2003) https://docs.google.com/View?id=dcsvntt2_25wpjvbbhk 29 comments 21/9/2010

• Tests vs Types http://kevinmahoney.co.uk/articles/tests-vs-types/ 4 comments 13/2/2016 haskell , programming

• Static Typing vs Testing == Apples vs Oranges https://dev.to/rvprasad/static-typing-vs-testing--apples-vs-oranges-5cbn 3 comments 1/8/2018 idris
• Types vs Tests: An Epic Battle? https://www.youtube.com/watch?v=nuMq3d2DZz8 18 comments 29/1/2017 programming
• Tests vs Types http://kevinmahoney.co.uk/articles/tests-vs-types/ 81 comments 14/2/2016 programming
• Tests vs Types http://kevinmahoney.co.uk/articles/tests-vs-types/ 21 comments 13/2/2016 haskell
• Types vs. Tests: An Epic Battle? Presented by Amanda Laucher, Paul Snively : Strange Loop 2012 http://www.infoq.com/presentations/types-tests 14 comments 14/11/2012 programming
• Type systems vs test suites (from the haskell-cafe mailing list). http://www.haskell.org/pipermail/haskell-cafe/2010-may/077248.html 33 comments 4/5/2010 programming
• Tests vs. Types — Rust version https://habr.com/en/post/468271/ 7 comments 23/9/2019 rust