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:
- Bridging Immutable and Mutable Abstractions for Distributed Data Analytics☆12May 15, 2019Updated 7 years ago
- Python concolic execution framework for program analysis☆67Nov 13, 2014Updated 11 years ago
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 12 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- ☆14Feb 2, 2024Updated 2 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.
- Deterministic Regular Expressions with Backreferences☆21Oct 12, 2020Updated 5 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- Create Test Fixtures from Runnable Java Code☆53Jan 26, 2026Updated 4 months ago
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆15Apr 22, 2026Updated last month
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 6 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…☆13Mar 6, 2025Updated last year
- scripts for TAing 15721☆12Jan 28, 2016Updated 10 years ago
- Hadoop MapReduce implementation of Market Basket Analysis for Frequent Item-set and Association Rule mining using Apriori algorithm.☆21Jul 29, 2017Updated 8 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 10 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- Tool to measure code coverage of Android applications when their source code is not available☆12Apr 1, 2023Updated 3 years ago
- ☆11Oct 17, 2024Updated last year
- ☆13Jan 16, 2019Updated 7 years ago
- CSE120 Project☆10Nov 19, 2014Updated 11 years ago
- Human-In-The-Loop Automatic Program Repair☆19Dec 18, 2019Updated 6 years ago
- Fuzzing Coreutils with AFL on kubernetes☆13Apr 25, 2019Updated 7 years ago
- Dionis predictors blender☆10Oct 21, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- A port of Hamcrest to Rust☆18Dec 24, 2024Updated last year
- generate program dependence graphs for java programs.☆25Oct 27, 2017Updated 8 years ago
- Java* Fuzzer for Android*☆11Nov 3, 2016Updated 9 years ago
- ☆13Dec 20, 2022Updated 3 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Dec 29, 2020Updated 5 years ago
- Repo for testing JIT stuff☆15Apr 9, 2020Updated 6 years ago
- ☆15May 17, 2017Updated 9 years ago
- ☆10Nov 26, 2024Updated last year
- 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.
- 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
- Run Nx2 Cross Validation for multiple binary classifiers in parallel with optional downsampling☆13Jan 27, 2015Updated 11 years ago
- epsilon is a scanner generator☆29Jun 12, 2022Updated 4 years ago
- Toradocu - automated generation of test oracles from Javadoc documentation☆44Mar 7, 2024Updated 2 years ago
- Turn-key deployments of DC/OS on AWS (template and onprem), Azure, and GCE☆14Oct 3, 2023Updated 2 years ago
- C compiler that generates .NET IL made in C#☆27Sep 30, 2020Updated 5 years ago