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)
|
