# State Space

> Test Generation powered by Symbolic Execution for EVM Smart Contracts.

## Docs

- [Product Updates](https://docs.state.space/docs/changelog/updates.md): New updates and improvements
- [Hardhat Plugin](https://docs.state.space/docs/cli/hardhatplugin.md)
- [State Space CLI](https://docs.state.space/docs/cli/quickstart.md)
- [CLI Reference](https://docs.state.space/docs/cli/reference.md): Learn how to use the State Space CLI to take advantage of powerful features.
- [Configuration Properties](https://docs.state.space/docs/cli/settings.md): Properties for the state-space.toml file
- [Concepts](https://docs.state.space/docs/overview/concepts.md)
- [Platform Features](https://docs.state.space/docs/overview/features.md): Brief overview of the State Space platform.
- [How it works](https://docs.state.space/docs/overview/howitworks.md)
- [Introduction](https://docs.state.space/docs/overview/intro.md)
- [Quickstart](https://docs.state.space/docs/overview/quickstart.md)
- [ERC20: Validate the Pausable Feature](https://docs.state.space/docs/tutorials/erc20-pause-mint.md): Sandbox tutorial
- [ERC20: End-to-End Testing of transferFrom](https://docs.state.space/docs/tutorials/erc20-transferfrom.md): Tutorial on end-to-end testing of transferFrom user flow

## OpenAPI Specs

- [openapi](https://docs.state.space/api-reference/openapi.json)