diff options
| author | Eduardo Julian | 2021-06-24 03:42:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-24 03:42:57 -0400 |
| commit | ce1a7a131f7c4df8eae5c019eba2893b56f04d46 (patch) | |
| tree | 645c4b42c4b9bff141b7390d9f33f3f1fe4aeea1 /documentation/bookmark/Testing.md | |
| parent | a82bd1eabe94763162c2b0707d9c198fbe9835e3 (diff) | |
Added a macro for type-casting JVM objects.
Diffstat (limited to 'documentation/bookmark/Testing.md')
| -rw-r--r-- | documentation/bookmark/Testing.md | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/documentation/bookmark/Testing.md b/documentation/bookmark/Testing.md deleted file mode 100644 index 92e56eff3..000000000 --- a/documentation/bookmark/Testing.md +++ /dev/null @@ -1,16 +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) - -# Mocking - -1. [Testing Without Mocks: A Pattern Language](https://www.jamesshore.com/Blog/Testing-Without-Mocks.html) - |