Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
☆11Nov 6, 2022Updated 3 years ago
Alternatives and similar repositories for sette-tool
Users that are interested in sette-tool are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆18Nov 24, 2015Updated 10 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆17Mar 2, 2026Updated 8 months ago
- Analyzing MTurk demographics☆14Aug 31, 2023Updated 3 years ago
- Python concolic execution framework for program analysis☆67Nov 13, 2014Updated 11 years ago
- a concolic testing engine for Java☆106Feb 20, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Jan 8, 2016Updated 10 years ago
- Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing☆17Nov 20, 2019Updated 6 years ago
- tuning hyperparams automatically with spearmint☆15Jun 21, 2014Updated 12 years ago
- Simple Soot program that detects whether an Android application leaks sensitive data.☆13Jan 7, 2013Updated 13 years ago
- ☆11Nov 24, 2014Updated 11 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- ☆14Feb 2, 2024Updated 2 years ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 7 years ago
- Bacting is an open-source platform for chemo- and bioinformatics based on Bioclipse that defines a number of common domain objects and wr…☆23Oct 21, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Introducción a las APIs☆11Feb 15, 2024Updated 2 years ago
- QExplore is a dynamic automatic exploration tool for dynamic web applications. It reverse engineers a state-flow model that can be used t…☆14Mar 6, 2025Updated last year
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 7 years ago
- Patio is a web application that checks the happiness of your team☆13Sep 30, 2020Updated 6 years ago
- Python package for inference with Gaussian processes☆11Mar 25, 2015Updated 11 years ago
- scripts for TAing 15721☆12Jan 28, 2016Updated 10 years ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 11 years ago
- Fully functional multiple-valued QCA☆14Mar 18, 2015Updated 11 years ago
- Converts LLVM Bytecode to MSIL☆16Oct 5, 2013Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Jan 16, 2019Updated 7 years ago
- Tool to measure code coverage of Android applications when their source code is not available☆12Apr 1, 2023Updated 3 years ago
- Static checker for Java☆89Jan 16, 2025Updated last year
- ☆12Oct 17, 2024Updated 2 years ago
- Tool to extract Code Annotations Metrics☆17Oct 22, 2026Updated last week
- Using Keras (U-Net architecture) to segment shapes on noise.☆18Jun 5, 2017Updated 9 years ago
- Ecore and OCL runtime API for C#☆11Feb 8, 2021Updated 5 years ago
- Fuzzing Coreutils with AFL on kubernetes☆13Apr 25, 2019Updated 7 years ago
- Mutation testing tool for Visual Studio☆37Feb 9, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Run Nx2 Cross Validation for multiple binary classifiers in parallel with optional downsampling☆13Aug 7, 2026Updated 2 months ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- Kubernetes adapter for Universal Resource Broker☆19Jul 11, 2019Updated 7 years ago
- blog-cn, blog-en☆19Oct 23, 2018Updated 8 years ago
- Fastbot 3.0. The backend for Kea2.☆15Feb 11, 2026Updated 8 months ago
- 基于Java注释（不是注解）生成接口文档的框架与工具，与你的代码没有任何交集，松耦合☆11Nov 26, 2018Updated 7 years ago
- Repo for testing JIT stuff☆16Apr 9, 2020Updated 6 years ago