documentation/research/Testing.md


1
2
3
4
5
6
7
8

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