Awesome Open Source

Programming Languages

Search results for testing symbolic

7 search results found

Manticore ⭐ 3,535

Symbolic execution tool

Deepstate ⭐ 782

A unit test-like interface for fuzzing and symbolic execution

Symexbib ⭐ 239

A bibliography of papers related to symbolic execution

Package vfs provides an abstraction of the os and io packages that is easy to test.

Symbolic Execution Tutorial ⭐ 73

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

Symbolica ⭐ 50

Symbolica's open-source symbolic execution engine.

Constantly ⭐ 21

Symbolic Constants in Python

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

Deep Probabilistic Programming Language

Scenarios ⭐ 12

Scenarios has been deprecated. Please use Dataset instead.

The TARDIS concolic test case generator

Related Searches

Angular Testing (22,105)

Command Line Testing (21,674)

Javascript Testing (21,651)

Typescript Testing (20,791)

Python Testing (9,499)

Java Testing (7,064)

Ruby Testing (4,020)

Html Testing (3,478)

Php Testing (3,466)

Reactjs Testing (3,184)

1-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.