Topic: "search-based-software-engineering"
syntest-framework/syntest-solidity
A tool to generate synthetic tests for the Solidity platform
Language: TypeScript - Size: 5.3 MB - Last synced at: 22 days ago - Pushed at: about 1 year ago - Stars: 28 - Forks: 3
syntest-framework/syntest-framework
Monorepo containing the framework and various core parts of the SynTest ecosystem
Language: TypeScript - Size: 15.1 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 18 - Forks: 8
syntest-framework/syntest-javascript
A tool to generate synthetic tests for the JavaScript and TypeScript languages
Language: TypeScript - Size: 12.3 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
MatiasBrizzio/AuRUS
AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
Language: Java - Size: 156 MB - Last synced at: 23 days ago - Pushed at: 11 months ago - Stars: 4 - Forks: 1
syntest-framework/syntest-solidity-benchmark
Provides a benchmarking environment for testing SynTest-Solidity
Language: Solidity - Size: 43.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
Valavanca/compositional-system-for-hyperparameter-tuning
:herb: Introduce surrogate based-optimization beside evolutionary algorithms that can significantly influence on the effort being spent for multi-objective parameter tuning
Language: TeX - Size: 635 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 2
jacksonpradolima/tcpci-search-based
Test Case Prioritization in Continuous Integration environments using Search-Based Algorithms
Language: Python - Size: 43.9 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 1
adam-sse/geneseer
A search-based automated program-repair tool for Java.
Language: Java - Size: 812 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
syntest-framework/syntest-javascript-benchmark
Provides a benchmarking environment for testing SynTest-JavaScript
Language: JavaScript - Size: 5.24 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
SNTSVV/SEDE
Implementation of the Simulator-based Explanations of DNN-Errors (SEDE) approach.
Language: Python - Size: 455 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
GdRottoli/ClusteringBasedParetoFrontExploration
Clustering-Based NRP Pareto Front Exploration
Language: Python - Size: 63.5 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
eng-aomar/Evolutionary-Algorithms
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
Language: Visual Basic .NET - Size: 34.2 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
