aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/Testing.md
blob: 32d47ea8d28334b44e01a95f06f57edba0a7a1ae (plain)
1
2
3
4
5
6
7
8
9
10
11
12
# 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)