100% Coverage.
Zero Effort.

Automatically find deep hidden edge cases, and synthesize
comprehensive 100% coverage test suites for EVM compatible smart contracts.

Request Access
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.
hardhat testgen Exploring state space... generated  39 tests to  test/erc20-d00de
View results at https://app.state.space/10/erc20/d00de
hardhat coverage ...  39 passing  (2s)
----------------------|----------|----------|----------|----------| File | % Stmts | % Branch | % Funcs | % Lines | ----------------------|----------|----------|----------|----------|  contracts/ | 100 | 100 | 100 | 100 |   ERC20.sol | 100 | 100 | 100 | 100 | ----------------------|----------|----------|----------|----------| All files | 100 | 100 | 100 | 100 | ----------------------|----------|----------|----------|----------| >  Istanbul reports written to ./coverage/ and ./coverage.json

Built for developers and engineering teams

What is Automated Test Synthesis?

Today, developers spend weeks manually writing unit and integration test cases, rarely covering all conditions or behaviors, and rarely achieving true 100% coverage. Automated test synthesis systematically enumerates every important execution path and complex condition that could occur within a set of inter-operating, composable EVM smart contracts into a suite of comprehensive Hardhat and/or Foundry test cases, representing all important behaviors of the way your code is written.

Achieve 100% test coverage within hours, saving weeks of costly engineering time while significantly increasing code quality and function. Standardizing a systematic and reliable approach to smart contract testing can drastically accelerate time-to-market, increase code quality, and eliminate unintended behavior.

find web3 bugs early

Turn weeks into hours

Replace weeks of complex, error prone, and tedious manual testing by automatically synthesizing deep, accurate, and comprehensive test cases for smart contracts.


Synthesize complex multi-transaction sequences and structured and dynamic inputs to discover elusive bugs and potential security issues.


Leverage the most advanced and precise program analysis techniques to discover every possible entry point, execution path and transaction sequence.


Achieve 100% test coverage in hours but synthesizing complex input conditions and rich and thorough expectation checking for all outputs. Ensure bugs or vulnerabilities are not missed.


Replace weeks of highly skilled manual test writing labor into hours. Get immediate feedback on functional behavior for quick bug discovery.

Keep it simple

How it Works



Install the State Space plugin and execute a single command. No formal specification required.



Watch complex conditions and multi-transaction sequences synthesize. Monitor test metrics to achieve 100% coverage.



Review and validate your Foundry or Hardhat test suite for expected or unexpected behavior. Collaborate with other team members to reach agreement on code correctness.


Join our waitlist

Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.