Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for unit testing symbolic execution
symbolic-execution
x
unit-testing
x
4 search results found
Deepstate
⭐
782
A unit test-like interface for fuzzing and symbolic execution
Expose
⭐
165
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
Utbotcpp
⭐
105
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Sandshrew
⭐
11
Underconstrained symbolic execution for cryptography verification
Related Searches
Javascript Unit Testing (376)
Python Unit Testing (205)
Python Symbolic Execution (75)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.