Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Trabish, David"'
We address the problem of constraint encoding explosion which hinders the applicability of state merging in symbolic execution. Specifically, our goal is to reduce the number of disjunctions and if-then-else expressions introduced during state mergin
Externí odkaz:
http://arxiv.org/abs/2308.12068
Evaluation artifact.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7473a73c217ce05815c645c60ca969ab