SynTest: A framework for generating synthetic tests for programs based on JavaScript
Features
Document anything ✨
Bugs
SynTest helps finding bugs in your contracts
Evolutionary Intelligence
Uses a genetic algorithm to automatically synthesize unit-level test cases
TypeScript/Javascript
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
