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
Sorting:
- Bridging Immutable and Mutable Abstractions for Distributed Data Analytics☆12May 15, 2019Updated 6 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆14Jan 5, 2026Updated 2 months ago
- ☆12Feb 2, 2024Updated 2 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- Apple computer management scirpts☆18Nov 4, 2025Updated 4 months ago
- MAchine Micro Management UTilities☆11Nov 5, 2020Updated 5 years ago
- C# framework for transforming and analyzing source code with srcML.☆21Feb 10, 2016Updated 10 years ago
- Parallel k-core Decomposition on Multicore Platforms☆11Oct 12, 2020Updated 5 years ago
- An implementation of the maxflow algorithm by Yuri Boykov and Vladimir Kolmogorov.☆12Nov 26, 2014Updated 11 years ago
- An extension of the ProteoWizard framework enabling the support of the mzDB format☆13Feb 12, 2021Updated 5 years ago
- Python package for inference with Gaussian processes☆11Mar 25, 2015Updated 10 years ago
- Artifact of paper "Exploiting Recent SIMD Architectural Advances for Irregular Applications"☆11Jun 23, 2016Updated 9 years ago
- video synopsis☆10May 28, 2014Updated 11 years ago
- The implementation for maximum clique enumeration algorithm☆11Apr 14, 2016Updated 9 years ago
- Ensemble/Blender example in R using Caret (companion code for YouTube video: https://www.youtube.com/watch?v=k7sTiTWWCXM)☆11Sep 19, 2014Updated 11 years ago
- Intel TBB Package for R/Rcpp☆15Jul 7, 2014Updated 11 years ago
- Dionis predictors blender☆10Oct 21, 2015Updated 10 years ago
- Vision based algorithms for falsification of convolutional neural networks☆12Jan 25, 2018Updated 8 years ago
- Apache Arrow Flight example☆11Nov 9, 2020Updated 5 years ago
- A framework for evaluating community mining algorithms.☆10Mar 9, 2016Updated 9 years ago
- A suite of simple programs to test Intels' TSX extension☆14May 13, 2017Updated 8 years ago
- Transactional memory (mostly Intel® TSX) experiments☆14May 3, 2014Updated 11 years ago
- Open source Java framework to create, process and manage mixtures of exponential family☆14Aug 4, 2015Updated 10 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- A simple sparse bitmap implementation in java☆22Jan 28, 2016Updated 10 years ago
- CSE120 Project☆10Nov 19, 2014Updated 11 years ago
- The source code for BUTTERFLY COUNTING IN BIPARTITE NETWORKS☆12May 29, 2019Updated 6 years ago
- Toradocu - automated generation of test oracles from Javadoc documentation☆44Mar 7, 2024Updated last year
- Exact Structural Graph Clustering☆13Mar 19, 2022Updated 3 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- ☆22May 24, 2014Updated 11 years ago
- Demonstrating Java 8 filter, sort and map functionality with: Java 8 stream/lambda, Google Guava FluentIterable, Kotlin, Groovy, Scala, a…☆21Nov 27, 2024Updated last year
- A Lightweight Graph Processing Framework for Multi-GPUs☆14Apr 15, 2015Updated 10 years ago
- Solution to the Kaggle Facebook Recruiting IV contest☆11Feb 21, 2016Updated 10 years ago
- C++Now 2016 talk - Pulling Visitors: Boost.Graph + Boost.Coroutine☆10May 13, 2016Updated 9 years ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago
- Blog for the Open Institute for Advanced Study☆10Oct 30, 2020Updated 5 years ago