diff --git a/design.html b/design.html
index 85c9214a..d022e531 100644
--- a/design.html
+++ b/design.html
@@ -61,10 +61,10 @@ and it's run after any code change using <a href="https://travis-ci.org/amadvanc
 </p>
 
 <p>
-The source code is also verified with the
+SnapRAID is also verified with the
 <a href="https://scan.coverity.com/projects/snapraid">Coverity Scan</a>
-and <a href="http://clang-analyzer.llvm.org/">clang</a>
-static analyzers.
+and <a href="http://clang-analyzer.llvm.org/">clang</a> static analyzers,
+and with the <a href="http://lcamtuf.coredump.cx/afl/">American Fuzzy Lop</a> fuzzy tester.
 </p>
 
 <p>