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.

Deep

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

Accurate

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

Comprehensive

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.

Fast

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

1

Install

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

2

Synthesize

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

3

Validate

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.

BETA is LIVE

Join our waitlist

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