diff options
Diffstat (limited to 'documentation/research/Testing.md')
| -rw-r--r-- | documentation/research/Testing.md | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/documentation/research/Testing.md b/documentation/research/Testing.md deleted file mode 100644 index 32d47ea8d..000000000 --- a/documentation/research/Testing.md +++ /dev/null @@ -1,12 +0,0 @@ -# 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) - |