blob: 92e56eff304f15426d40f97adf9ebde87101bf3f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# 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)
|
