# Concolic Testing

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

# Symbolic

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

# White box

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

# Mocking

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

# Visual Testing

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

# Cross-Branch Testing

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