Used together with:
concol
(1)
tool
(1)
binari
(1)
test
(1)
improv
(1)
Stem
crashmak$ (
all stems
)
1 papers:
SAC-2014-ChenZW
#detection
#named
#testing
Crashmaker: an improved binary concolic testing tool for vulnerability detection (
BC
,
QZ
,
WW
), pp. 1257–1263.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.