Skip to content

Commit

Permalink
Redirect "MongoDB’s JavaScript Fuzzer" links to Web Archive
Browse files Browse the repository at this point in the history
  • Loading branch information
@asatarin
asatarin committed Feb 5, 2025
1 parent bb17d64 commit 9a62ec4
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -528,8 +528,8 @@ See also [formal methods](#formal-methods) section.

### MongoDB

* [MongoDB’s JavaScript Fuzzer: Creating Chaos (1/2)](https://www.mongodb.com/blog/post/mongodbs-java-script-fuzzer-creating-chaos)
* [MongoDB’s JavaScript Fuzzer: Harnessing the Havoc (2/2)](https://www.mongodb.com/blog/post/mongodb-java-script-fuzzer-harnessing-havoc-2)
* [MongoDB’s JavaScript Fuzzer: Creating Chaos (1/2)](https://web.archive.org/web/20231002154224/https://www.mongodb.com/blog/post/mongodbs-java-script-fuzzer-creating-chaos)
* [MongoDB’s JavaScript Fuzzer: Harnessing the Havoc (2/2)](https://web.archive.org/web/20231003175950/https://www.mongodb.com/blog/post/mongodb-java-script-fuzzer-harnessing-havoc-2)
* [MongoDB's JavaScript Fuzzer](https://queue.acm.org/detail.cfm?id=3059007) article in ACM Queue
* [Fixing a MongoDB Replication Protocol Bug with TLA+](https://youtu.be/x9zSynTfLDE) by William Schultz — how MongoDB
uses [formal verification](#formal-methods) with TLA+ to check correctness of their replication protocol. Describes
Expand Down

0 comments on commit 9a62ec4

Please sign in to comment.