Add Mutation 2024 slides

trailofbits · May 28, 2024 · 5d1226c · 5d1226c
1 parent cef2281
commit 5d1226c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -4,7 +4,7 @@ Run tests with statements and method calls removed to help identify broken tests
 
 Necessist currently supports Anchor (TS), Foundry, Go, Hardhat (TS), and Rust.
 
-A paper on Necessist ([Test Harness Mutilation]) will appear in Mutation 2024. ([preprint])
+A paper on Necessist ([Test Harness Mutilation]) will appear in Mutation 2024. ([slides], [preprint])
 
 **Contents**
 
@@ -476,6 +476,7 @@ Necessist is licensed and distributed under the AGPLv3 license. [Contact us](mai
 [predicate transformer semantics]: https://en.wikipedia.org/wiki/Predicate_transformer_semantics
 [preprint is available]: https://agroce.github.io/asej18.pdf
 [preprint]: docs/test_harness_mutilation.pdf
+[slides]: docs/Necessist%20Mutation%202024.pdf
 [sqlitebrowser]: https://sqlitebrowser.org/
 [toml]: https://toml.io/en/
 [weakest precondition]: https://en.wikipedia.org/wiki/Predicate_transformer_semantics#Weakest_preconditions
diff --git a/docs/Necessist Mutation 2024.pdf b/docs/Necessist Mutation 2024.pdf