Awesome Symbolic ExecutionA curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Stars: ✭ 634 (+574.47%)
PonceIDA 2016 plugin contest winner! Symbolic Execution just one-click away!
Stars: ✭ 1,066 (+1034.04%)
VstestVisual Studio Test Platform is the runner and engine that powers test explorer and vstest.console.
Stars: ✭ 624 (+563.83%)
RubberduckEvery programmer needs a rubberduck. COM add-in for the VBA & VB6 IDE (VBE).
Stars: ✭ 1,287 (+1269.15%)
LodeA universal GUI for unit testing
Stars: ✭ 51 (-45.74%)
RobolectricAndroid Unit Testing Framework
Stars: ✭ 5,372 (+5614.89%)
Go Script BashFramework for writing modular, discoverable, testable Bash scripts
Stars: ✭ 77 (-18.09%)
Kotlin Coroutines Android ExamplesLearn Kotlin Coroutines for Android by Examples. Learn how to use Kotlin Coroutines for Android App Development.
Stars: ✭ 572 (+508.51%)
IncaIncremental Program Analysis Framework
Stars: ✭ 49 (-47.87%)
Java Dns Cache Manipulator🌏 A simple 0-dependency thread-safe Java™ lib/tool for setting dns programmatically without touching host file, make unit/integration test portable.
Stars: ✭ 557 (+492.55%)
Tigress protectionPlaying with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
Stars: ✭ 550 (+485.11%)
ApisanAPISan: Sanitizing API Usages through Semantic Cross-Checking
Stars: ✭ 46 (-51.06%)
UtUT: C++20 μ(micro)/Unit Testing Framework
Stars: ✭ 507 (+439.36%)
TcunitAn unit testing framework for Beckhoff's TwinCAT 3
Stars: ✭ 74 (-21.28%)
PhasarA LLVM-based static analysis framework.
Stars: ✭ 503 (+435.11%)
Junit ExtensionsJUnit5 extensions library including JUnit5 equivalents of some of the common JUnit4 rules: ExpectedException, TemporaryFolder etc
Stars: ✭ 39 (-58.51%)
ExpectoA smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
Stars: ✭ 495 (+426.6%)
VestVest ✅ Declarative validations framework
Stars: ✭ 1,271 (+1252.13%)
XctesthtmlreportXcode-like HTML report for Unit and UI Tests
Stars: ✭ 489 (+420.21%)
PersimmonA unit test framework for F# using computation expressions.
Stars: ✭ 37 (-60.64%)
Electron Nuxt⚡ An Electron & Nuxt.js / Vue.js quick start boilerplate with vue-cli scaffolding, electron-builder, unit/e2e testing, vue-devtools
Stars: ✭ 452 (+380.85%)
Memotememote – the genome-scale metabolic model test suite
Stars: ✭ 73 (-22.34%)
VunitVUnit is a unit testing framework for VHDL/SystemVerilog
Stars: ✭ 438 (+365.96%)
Enzyme To JsonSnapshot test your Enzyme wrappers
Stars: ✭ 954 (+914.89%)
Bash unitbash unit testing enterprise edition framework for professionals
Stars: ✭ 419 (+345.74%)
Vue Test🏁 DEPRECATED: Component testing for Vue.js
Stars: ✭ 92 (-2.13%)
Amocoyet another tool for analysing binaries
Stars: ✭ 413 (+339.36%)
UtplsqlTesting Framework for PL/SQL
Stars: ✭ 402 (+327.66%)
FalconBinary Analysis Framework in Rust
Stars: ✭ 307 (+226.6%)
BachBach Testing Framework
Stars: ✭ 392 (+317.02%)
Jasmine MarblesMarble testing helpers for RxJS and Jasmine
Stars: ✭ 85 (-9.57%)
AvaNode.js test runner that lets you develop with confidence 🚀
Stars: ✭ 19,458 (+20600%)
Django JenkinsPlug and play continuous integration with django and jenkins
Stars: ✭ 933 (+892.55%)
DreddLanguage-agnostic HTTP API Testing Tool
Stars: ✭ 3,770 (+3910.64%)
C koansC Koans
Stars: ✭ 65 (-30.85%)
LuaunitLuaUnit is a popular unit-testing framework for Lua, with an interface typical of xUnit libraries (Python unittest, Junit, NUnit, ...). It supports several output formats (Text, TAP, JUnit, ...) to be used directly or work with Continuous Integration platforms (Jenkins, Maven, ...).
Stars: ✭ 362 (+285.11%)
Haxe DoctestA haxelib inspired by Python's doctest command that generates unit tests based on assertions specified within the source code.
Stars: ✭ 22 (-76.6%)
Pytest FlaskA set of pytest fixtures to test Flask applications
Stars: ✭ 359 (+281.91%)
BitsofbytesCode and projects from my blog posts.
Stars: ✭ 89 (-5.32%)
StpSimple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (+262.77%)
Cfn nagLinting tool for CloudFormation templates
Stars: ✭ 808 (+759.57%)
SazeracData-driven unit testing for Jasmine, Mocha, and Jest
Stars: ✭ 322 (+242.55%)
QtoolsQTools collection of open source tools for embedded systems development on Windows, Linux and MacOS
Stars: ✭ 64 (-31.91%)
DoctestThe fastest feature-rich C++11/14/17/20 single-header testing framework
Stars: ✭ 3,568 (+3695.74%)
QuixoteCSS unit and integration testing
Stars: ✭ 788 (+738.3%)
Sequelize Test HelpersA collection of utilities to help with unit-testing Sequelize models
Stars: ✭ 83 (-11.7%)
Unmock PluginGradle plugin to be used in combination with the new unit testing feature of the Gradle Plugin / Android Studio to use real classes for e.g. SparseArray.
Stars: ✭ 304 (+223.4%)
React Cool Starter😎 🐣 A starter boilerplate for a universal web app with the best development experience and a focus on performance and best practices.
Stars: ✭ 1,083 (+1052.13%)
ShortURL shortening service written in Go and React
Stars: ✭ 777 (+726.6%)
MockingbirdA convenient mocking framework for Swift
Stars: ✭ 302 (+221.28%)
Hammox🏝 automated contract testing via type checking for Elixir functions and mocks
Stars: ✭ 289 (+207.45%)
Data MocksLibrary to mock local data requests using Fetch or XHR
Stars: ✭ 55 (-41.49%)
ChromedpA faster, simpler way to drive browsers supporting the Chrome DevTools Protocol.
Stars: ✭ 7,057 (+7407.45%)
TestthatAn R 📦 to make testing 😀
Stars: ✭ 719 (+664.89%)