Used together with:
binari
(1)
failur
(1)
automat
(1)
equival
(1)
program
(1)
Stem
rootcaus$ (
all stems
)
1 papers:
CAV-2015-LahiriSH
#automation
#equivalence
Automatic Rootcausing for Program Equivalence Failures in Binaries (
SKL
,
RS
,
CH
), pp. 362–379.
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
.