You can do many things other than testing: - use a memory safe language - formal verification (multiple implementations even) - build a simulator like Founda

You can do many things other than testing: - use a memory safe language - formal verification (multiple implementations even) - build a simulator like FoundationDB did