ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents
-
Updated
Dec 16, 2025 - Python
#
concolic-testing
Here are 3 public repositories matching this topic...
Master's students in NCCU SoSLab maintaining a cleaned and restructured version of INCITE (based on PyCT).
-
Updated
Dec 10, 2025 - Python
An archive repository that holds all projects formed in the masters-level Software and Systems Security course (CSC-5585) at TTU.
unit-testing static-analysis logging software-development system-call-analysis machine-learning-analysis docker-security concolic-testing privacy-leakage devsecops-best-practices
-
Updated
Nov 22, 2021 - Python
Improve this page
Add a description, image, and links to the concolic-testing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the concolic-testing topic, visit your repo's landing page and select "manage topics."