move-test-gen

To generate edge-case tests for Sui Move smart contracts, you can use a mutation-based test generator that automatically produces #[test] and #[expected_failure] functions targeting arithmetic overflows, access control violations, and state machine logic.

Mutation testing for Sui Move improves coverage by injecting bugs into smart contracts and verifying that the generated adversarial test suite actually catches them, while scanning for unpaired asserts to ensure comprehensive validation of public functions.

Yes, you need both the Sui CLI and a Node.js environment to execute security linting, deterministic coverage checks, and mutation testing for Sui Move smart contracts.

Sui Move security linting detects common security patterns like missing capability checks and unsafe integer downcasts to ensure access control and arithmetic boundaries are thoroughly validated.

The best way to validate access control and state machine logic in Sui Move is by generating adversarial test suites that target boundary values and state transitions, combined with mutation testing to verify the tests catch injected bugs.