SynTest: A framework for generating synthetic tests for programs based on JavaScript

Get Started View Documentation


Document anything


SynTest helps finding bugs in your contracts

Evolutionary Intelligence

Uses a genetic algorithm to automatically synthesize unit-level test cases


Written in Typescript for Javascript-based languages

Smart Contracts

Can synthesize test cases for Solidity smart contracts

Research Project

Ongoing research project that includes state-of-the-art algorithms

Tool Demonstration Paper

Published at ICSE'22
Published at ICSE'22
SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts