From feacd79496ae9c76492d5a12d30b78724b642654 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 26 Jul 2022 18:08:04 -0400
Subject: Made inlined functions into first-class macros.

---
 documentation/bookmark/testing.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'documentation/bookmark/testing.md')

diff --git a/documentation/bookmark/testing.md b/documentation/bookmark/testing.md
index c28708d0e..f67c69688 100644
--- a/documentation/bookmark/testing.md
+++ b/documentation/bookmark/testing.md
@@ -1,33 +1,46 @@
 # Concolic Testing
 
+0. []()
 0. [Robby Findler: Concolic Testing with Higher-Order Inputs](https://www.youtube.com/watch?v=aO9nOCqNdfQ)
 
 # Symbolic
 
+0. []()
 0. [Crux](https://crux.galois.com/)
 
 # White box
 
+0. []()
 0. [Ricardo Peña - White-Box Path Generation in Recursive Programs - Lambda Days 2020](https://www.youtube.com/watch?v=7RXJhPaQCkc)
 
 # Mocking
 
+0. []()
 0. [Testing Without Mocks: A Pattern Language](https://www.jamesshore.com/Blog/Testing-Without-Mocks.html)
 
 # Visual Testing
 
+0. []()
 0. [Stories are tests](https://storybook.js.org/blog/stories-are-tests/)
 0. [Visual Testing Handbook](https://storybook.js.org/tutorials/visual-testing-handbook/)
 
 # Cross-Branch Testing
 
+0. []()
 0. [Cross-Branch Testing](https://www.hillelwayne.com/post/cross-branch-testing/)
 
 # Coverage
 
+0. []()
 0. [Modified condition/decision coverage](https://en.wikipedia.org/wiki/Modified_condition/decision_coverage)
 
+# Property-based
+
+0. []()
+0. [Property-based Testing Patterns](https://blog.ssanj.net/posts/2016-06-26-property-based-testing-patterns.html)
+
 # Reference
 
+0. []()
 0. [Test Anything Protocol](http://testanything.org/)
 
-- 
cgit v1.2.3