Used together with:
concol
(1)
studi
(1)
approach
(1)
crest
(1)
case
(1)
Stem
libexif$ (
all stems
)
1 papers:
ICSE-2012-KimKKJ
#approach
#case study
#industrial
#testing
#using
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (
YK
,
MK
,
YJK
,
YJ
), pp. 1143–1152.
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
.