Property-based testing, preferably with with heavy use of design-by-contracts style pre/post/invariants checking. Ideally also mutation testing.