concolic-testing

ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents

Grey-box Concolic Testing on Binary Code (ICSE '19)

A platform for analysis of Java bytecode

A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

GenPark AI Agent Skill - Concolic testing and symbolic branch inversion engine recording concrete-symbolic execution paths and targeting unvisited code branches.

GenPark AI Agent Skill - Deductive program verifier validating Hoare logic triplets {P} C {Q} across state transitions, assignment axioms, and conditional branches.

GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating postconditions through assignment statements and branch conditions.

GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating postconditions through assignment statements and branch conditions.

GenPark AI Agent Skill - Deductive program verifier validating Hoare logic triplets {P} C {Q} across state transitions, assignment axioms, and conditional branches.

GenPark AI Agent Skill - Concolic testing and symbolic branch inversion engine recording concrete-symbolic execution paths and targeting unvisited code branches.

GenPark AI Agent Skill - Presburger linear integer arithmetic decision procedure solving systems of linear inequalities for agent safety guard synthesis.

GenPark AI Agent Skill - Loop invariant inductiveness and total correctness prover verifying initialization, preservation, and postcondition implication.

GenPark AI Agent Skill - Presburger linear integer arithmetic decision procedure solving systems of linear inequalities for agent safety guard synthesis.

GenPark AI Agent Skill - Loop invariant inductiveness and total correctness prover verifying initialization, preservation, and postcondition implication.

Forward symbolic execution engine with path condition tracking, branch bifurcation, and state exploration

Forward symbolic execution engine with path condition tracking, branch bifurcation, and state exploration

A Concolic Test Generation Framework for Go

Concolic Unit Test Generation for Java

Master's students in NCCU SoSLab maintaining a cleaned and restructured version of INCITE (based on PyCT).

Symbolic Test Generalization Instrumentation LLVM Pass