# Concolic Testing

0. []()
0. [Robby Findler: Concolic Testing with Higher-Order Inputs](https://www.youtube.com/watch?v=aO9nOCqNdfQ)

# Symbolic

0. []()
0. [Crux](https://crux.galois.com/)

# White box

0. []()
0. [Ricardo Peña - White-Box Path Generation in Recursive Programs - Lambda Days 2020](https://www.youtube.com/watch?v=7RXJhPaQCkc)

# Mocking

0. []()
0. [Testing Without Mocks: A Pattern Language](https://www.jamesshore.com/Blog/Testing-Without-Mocks.html)

# Visual Testing

0. []()
0. [Stories are tests](https://storybook.js.org/blog/stories-are-tests/)
0. [Visual Testing Handbook](https://storybook.js.org/tutorials/visual-testing-handbook/)

# Cross-Branch Testing

0. []()
0. [Cross-Branch Testing](https://www.hillelwayne.com/post/cross-branch-testing/)

# Coverage

0. []()
0. [Modified condition/decision coverage](https://en.wikipedia.org/wiki/Modified_condition/decision_coverage)

# Property-based

0. []()
0. [Property-based Testing Patterns](https://blog.ssanj.net/posts/2016-06-26-property-based-testing-patterns.html)

# Reference

0. []()
0. [What do you do, Testing or Checking?](https://www.infoq.com/news/2009/12/testing-or-checking/)
0. [Testing vs. Checking](https://www.developsense.com/blog/2009/08/testing-vs-checking/)
0. [J.B. Rainsberger - Integrated Tests Are A Scam](https://vimeo.com/80533536)
0. [Test Anything Protocol](http://testanything.org/)