From 928c8b135682738f45ffaf7b4cbe016bca924b0e Mon Sep 17 00:00:00 2001 From: Andrey Satarin Date: Sat, 4 May 2024 13:52:24 -0700 Subject: [PATCH] Add "The importance of being earnestly random: Metamorphic Testing in CockroachDB" --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index fa728d5..aa8384b 100644 --- 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