A tool to generate synthetic tests for the Solidity platform

Monorepo containing the framework and various core parts of the SynTest ecosystem

A tool to generate synthetic tests for the JavaScript and TypeScript languages

🌿 Introduce surrogate based-optimization beside evolutionary algorithms that can significantly influence on the effort being spent for multi-objective parameter tuning

Test Case Prioritization in Continuous Integration environments using Search-Based Algorithms

A search-based automated program-repair tool for Java.

AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

Search-based diverse sampling from real-world software product lines

Implementation of the Simulator-based Explanations of DNN-Errors (SEDE) approach.

Provides a benchmarking environment for testing SynTest-Solidity

Clustering-Based NRP Pareto Front Exploration

Sampling Configurations From Software Product Lines Via Probability-aware Diversification and SAT Solving

Provides a benchmarking environment for testing SynTest-JavaScript

An implementation for Genetic-Algorithms based on the pseudo-code found on "Essentials of Metaheuristics" by Sean Luke, and the concepts found in "Introduction to Evolutionary Algorithms" by Yu, Xinjie, and Gen, Mitsuo

Genetic algorithm & Novelty search algorithm performance comparison tool