Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Haltermanna, Jan"'
Symbolic execution is a software verification technique symbolically running programs and thereby checking for bugs. Ranged symbolic execution performs symbolic execution on program parts, so called path ranges, in parallel. Due to the parallelism, v
Externí odkaz:
http://arxiv.org/abs/2402.11938
