Fuzz testing for smart contracts,
Invariant testing to verify contract logic stability,
Differential testing to compare contract execution,
Documentations including tutorials, guides and API references.