diff options
author | Eduardo Julian | 2022-03-11 05:52:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-11 05:52:21 -0400 |
commit | 6766be5427b1788a44e07151e3fabe33ec4f8b37 (patch) | |
tree | 8d8aa5c1d8fd4a9f733f82c48080284ecd4ec31a /documentation/bookmark/testing.md | |
parent | ac2c19d93407b00c89513f0f81e9cbbd1425bd9a (diff) |
Added an easy way to export Lux functionality to host programs (everywhere else).
Diffstat (limited to '')
-rw-r--r-- | documentation/bookmark/testing.md | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/documentation/bookmark/testing.md b/documentation/bookmark/testing.md index d81994e40..6d12ee5a2 100644 --- a/documentation/bookmark/testing.md +++ b/documentation/bookmark/testing.md @@ -1,25 +1,29 @@ # Concolic Testing -1. [Robby Findler: Concolic Testing with Higher-Order Inputs](https://www.youtube.com/watch?v=aO9nOCqNdfQ) +0. [Robby Findler: Concolic Testing with Higher-Order Inputs](https://www.youtube.com/watch?v=aO9nOCqNdfQ) # Symbolic -1. [Crux](https://crux.galois.com/) +0. [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) +0. [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) +0. [Testing Without Mocks: A Pattern Language](https://www.jamesshore.com/Blog/Testing-Without-Mocks.html) # Visual Testing -1. [Stories are tests](https://storybook.js.org/blog/stories-are-tests/) -1. [Visual Testing Handbook](https://storybook.js.org/tutorials/visual-testing-handbook/) +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 -1. [Cross-Branch Testing](https://www.hillelwayne.com/post/cross-branch-testing/) +0. [Cross-Branch Testing](https://www.hillelwayne.com/post/cross-branch-testing/) + +# Reference + +0. [Test Anything Protocol](http://testanything.org/) |