A calendar program to show specified date, convert Persian and Gregorian calendar together, in a simple way...

"Concolic testing: An overview of the used techniques and its limits" - Report for the Seminar "Program Analysis and Transformation" in HS2019 about the topic concolic testing

Scheme-based Input Specification language for Concolic Testing

A mini symbolic execution engine for simple JavaScript programs

NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fault localization to find potentially faulty network parameters (such as the weights) and then performs repair using constraint solving to apply small

Z3 backend for Fugue's concolic interpreter.

A Simple game. Programmed in C. Runs in console.

fuzzer for graphQL

Whitebox autograder for Python functions.

ECE 653 - testing, Quality Assurance, and Maintenance.This repo holds all material, notes and assignments related to the mentioned course.

A concolic interpreter backend for Fugue.

Solution to the CMU Binary Bomblab using concolic execution (Angr framework by Shellphish).

Formal model of program execution, symbolic execution, and taint tracking

Code for ASE'21 Paper "CorbFuzz: Checking Browser Security Policies with Fuzzing"

Validating changes using concolic execution

Test input generation using separation logic

A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.

SymFusion: Hybrid Instrumentation for Concolic Execution

An approximate solver for concolic execution