A calendar program to show specified date, convert Persian and Gregorian calendar together, in a simple way...
-
Updated
Jun 17, 2018 - Java
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
Whitebox autograder for Python functions.
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
A mini symbolic execution engine for simple JavaScript programs
Z3 backend for Fugue's concolic interpreter.
Scheme-based Input Specification language for Concolic Testing
ECE 653 - testing, Quality Assurance, and Maintenance.This repo holds all material, notes and assignments related to the mentioned course.
Test input generation using separation logic
Solution to the CMU Binary Bomblab using concolic execution (Angr framework by Shellphish).
Code for ASE'21 Paper "CorbFuzz: Checking Browser Security Policies with Fuzzing"
A concolic interpreter backend for Fugue.
Formal model of program execution, symbolic execution, and taint tracking
Sydr benchmark applications
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
SymFusion: Hybrid Instrumentation for Concolic Execution
Add a description, image, and links to the concolic-execution topic page so that developers can more easily learn about it.
To associate your repository with the concolic-execution topic, visit your repo's landing page and select "manage topics."