18 skills found
cuter-testing / CuterA concolic testing tool for the Erlang functional programming language.
jburnim / CrestCREST is a concolic test generation tool for C.
SoftSec-KAIST / EclipserGrey-box Concolic Testing on Binary Code (ICSE '19)
ConcoLLMic / ConcoLLMicConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents
TrustAI / DeepConcolicConcolic Testing for Deep Neural Networks
ksen007 / Janala2a concolic testing engine for Java
osl / JcuteJava Concolic Unit Testing Engine
vorpal-research / KexA platform for analysis of Java bytecode
rshariffdeen / CPRCPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.
agra-uni-bremen / Symex VpA concolic testing engine for RISC-V embedded software with support for SystemC peripherals
pfnet-research / ATPG4SVA prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
pietrobraione / TardisThe TARDIS concolic test case generator
spencerwuwu / Py ConbytePython concolic testing on byte-code level
UTD-TIES-LAB / RTL ContestConcolic Testing on RTL for Detecting Security Vulnerabilities
saltlab / ConfixConfix is a concolic DOM fixture generator for unit testing of JavaScript applications.
zoep / CUTE HomeworkConcolic testing for C programs
sfortz / Pl Concolic TestingA concolic testing tool for Prolog programs, using the Microsoft's SMT solver Z3
ajalab / CongoA Concolic Test Generation Framework for Go
