GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → ftsrg → seviz

ftsrg / seviz

Licence: Apache-2.0 license
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

Programming Languages

C#
18002 projects
powershell
5483 projects

Labels

testingresearchtool

Projects that are alternatives of or similar to seviz

ultimate-defi-research-base
Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.
Stars: ✭ 1,074 (+5270%)
Mutual labels:  research
awesome-offline-rl
An index of algorithms for offline reinforcement learning (offline-rl)
Stars: ✭ 578 (+2790%)
Mutual labels:  research
snp-sites
Finds SNP sites from a multi-FASTA alignment file
Stars: ✭ 182 (+810%)
Mutual labels:  research
degitx
Distributed git repository manager
Stars: ✭ 28 (+40%)
Mutual labels:  research
NLP-Suite
CLICK ON WIKI LINK BELOW OR ON Wiki TAB AT TOP BANNER FOR DOWNLOAD INSTRUCTIONS AND INFORMATION ON THE NLP SUITE.
Stars: ✭ 36 (+80%)
Mutual labels:  research
api-evangelist
The API Evangelist website
Stars: ✭ 73 (+265%)
Mutual labels:  research
awesome-mobile-robotics
Useful links of different content related to AI, Computer Vision, and Robotics.
Stars: ✭ 243 (+1115%)
Mutual labels:  research
prunnable-layers-pytorch
Prunable nn layers for pytorch.
Stars: ✭ 47 (+135%)
Mutual labels:  research
derain-net
A (WIP) TensorFlow reproduction of Fu, Huang, Ding, Liao, and Paisley's method for single-image rain removal (https://arxiv.org/abs/1609.02087)
Stars: ✭ 15 (-25%)
Mutual labels:  research
stripnet
STriP Net: Semantic Similarity of Scientific Papers (S3P) Network
Stars: ✭ 82 (+310%)
Mutual labels:  research
theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Stars: ✭ 34 (+70%)
Mutual labels:  research
public research
Publicly available research done by BOHR.TECHNOLOGY.
Stars: ✭ 16 (-20%)
Mutual labels:  research
senpai
Molecular dynamics simulation software
Stars: ✭ 124 (+520%)
Mutual labels:  research
patzilla
PatZilla is a modular patent information research platform and data integration toolkit with a modern user interface and access to multiple data sources.
Stars: ✭ 71 (+255%)
Mutual labels:  research
ethsnarks
A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop
Stars: ✭ 224 (+1020%)
Mutual labels:  research
deepcourse
Learn the Deep Learning for Computer Vision in three steps: theory from base to SotA, code in PyTorch, and space-repetition with Anki
Stars: ✭ 117 (+485%)
Mutual labels:  research
RTX-Mesh-Shaders
Different mesh shading techniques using the NVIDIA RTX (Turing) technology.
Stars: ✭ 84 (+320%)
Mutual labels:  research
DeclareDesign
DeclareDesign: Declare and Diagnose Research Designs
Stars: ✭ 92 (+360%)
Mutual labels:  research
contech
The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.
Stars: ✭ 43 (+115%)
Mutual labels:  research
gospal
Go static program analyser
Stars: ✭ 56 (+180%)
Mutual labels:  research
View All Similar Projects ➔

Symbolic Execution VisualiZer (SEViz)

Description

SEViz is a tool for visualizing symbolic execution-based test generation carried out by IntelliTest.

SEViz can enhance test generation for complex programs by visually presenting the information required to quickly identify modifications that enable the generation of further test inputs and increase coverage.

SEViz can also be used in education and training by showing the process and result of symbolic execution in a step-by-step manner on simpler programs.

The source code of the project consists of the following projects:

  • SEViz.Monitoring: captures information about the test generation of Visual Studio's IntelliTest (formerly Pex),
  • SEViz.Integration: an extension for Visual Studio that is able to interactively visualize the test generation process and links source code instructions to the visualization,
  • SEViz.Common: contains common data structures used by the previous two projects,
  • GraphSharp and GraphSharp.Controls: a fork of the GitHub project GrapSharp, modified for the needs of SEViz.

For more information see the tool's website (with user manual and examples).

Building the project

  1. Prerequisites for the build:
  • .NET framework v4.5
  • Visual Studio 2015 Enterprise (includes IntelliTest)
  1. Download the zip or clone the repository.
  2. Open the Visual Studio solution found in the Source folder as Administrator.
  3. Build the whole solution. This triggers two pre-build events:
  • Downloading the required NuGet packages.
  • Invoking the PowerShell script that copies the necessary Pex assemblies into the corresponding folder.
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].