Added a macro for type-casting JVM objects.

1 files changed, 20 insertions, 0 deletions

diff --git a/documentation/bookmark/testing.md b/documentation/bookmark/testing.md
new file mode 100644
index 000000000..4a1930de2
--- /dev/null
+++ b/documentation/bookmark/testing.md
@@ -0,0 +1,20 @@
+# 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)
+
+# Visual Testing
+
+1. [Visual Testing Handbook](https://storybook.js.org/tutorials/visual-testing-handbook/)
+