Add "The importance of being earnestly random: Metamorphic Testing in…

… CockroachDB"
asatarin · May 4, 2024 · 928c8b1 · 928c8b1
1 parent c4808de
commit 928c8b1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -548,6 +548,8 @@ See also [formal methods](#formal-methods) section.
 * [ParallelCommits.tla](https://github.com/cockroachdb/cockroach/blob/master/docs/tla-plus/ParallelCommits/ParallelCommits.tla) —
   Formal specification in TLA+ of the [parallel commit](https://www.cockroachlabs.com/blog/parallel-commits/)
   transaction protocol. See also [formal methods](#formal-methods).
+* [The importance of being earnestly random: Metamorphic Testing in CockroachDB](https://www.cockroachlabs.com/blog/metamorphic-testing-the-database/) —
+  blog post talking about metamorphic testing at CockroachLabs to test Pebble storage engine
 
 ### SingleStore