Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation [PDF]
Haoxin Tu +5 more
openalex +1 more source
IMPLEMENTATION OF CONCOLIC UNIT TESTING IN TESTING BINARY SEARCH ALGORITHM USING JCUTE
, 2022 Neneng Rachmalia Feta, Fitria Fitria
openalex +2 more sources
Scaling Concolic Testing for the Environment-Intensive Program
, 2015 Lei Xue, Wei Huang, W. Fan, Yixian Yang
openalex +2 more sources
A model-guided symbolic execution approach for network protocol implementations and vulnerability detection. [PDF]
PLoS One, 2017 Wen S, Meng Q, Feng C, Tang C.
europepmc +1 more source
CRETE: A Versatile Binary-Level Concolic Testing Framework [PDF]
, 2018 Bo Chen +5 more
openalex +1 more source
LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification. [PDF]
Sensors (Basel)Deng L, Zhong Q, Song J, Lei H, Li W.
europepmc +1 more source
Hybrid Concolic Testing with Large Language Models for Guided Path Exploration [PDF]
Mahdi Eslamimehr
openalex +2 more sources
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. [PDF]
IEEE Secur Priv, 2014 Brubaker C +4 more
europepmc +1 more source