GitHub repository: JuanmaCopia/PySEAT
Primary language: Python
Description: Python Symbolic Execution and Automated Tester. PySEAT is a python module which automates test case generation for programs manipulating complex structures (e.g., Binary Search Trees or AVLs) using symbolic execution with lazy initialization.